▲ 9 ▼ The New Rattler Resolver (prefix.dev) submitted 3 years ago by alienscience@programming.dev to c/rust@programming.dev comment fedilink hide all child comments 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.
no comments (yet)