@alienscience
https://prefix.dev/blog/the_new_rattler_resolver
We wrote a new, fast SAT solver for conda packages in Rust – a port of the libsolv C library.