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.