This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
IPASIR bindings for RustSAT
Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
Interface to the SAT solver CaDiCaL for the RustSAT library.
Interface to the SAT solver Glucose for the RustSAT library.
Interface to the SAT solver kissat for the RustSAT library.
Interface to the SAT solver Minisat for the RustSAT library.
Tools and examples built on the RustSAT library
VeriPB proof tracer for CaDiCaL via RustSAT
Logic optimization library
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
A multi-objective MaxSAT solver.