The New Rattler Resolver

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.