The New Rattler Resolver
![](https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp)
![The New Rattler Resolver](https://programming.dev/pictrs/image/7b6c34e1-8869-497d-a74a-0ae7d6d119e8.png?format=jpg&thumbnail=256)
prefix.dev
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. You could be first!
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.