Rust Sat Resources

Resolvo: Fast package resolver written in Rust Resolvo implements a fast package resolution algorithm based on CDCL SAT solving. If resolvo is unable

Google CP-SAT solver Rust bindings Rust bindings to the Google CP-SAT constraint programming solver. To use this library, you need a C++ compiler and

backtrack-rs 🦀 backtrack lets you solve backtracking problems simply and generically. Problems are defined by their scope and checks against possible