•

The New Rattler Resolver

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.

There are only a few SAT solvers for Rust and this one looks well documented and will be well supported because it is part of Conda.