8 releases
| new 0.3.0 | Apr 30, 2024 |
|---|---|
| 0.2.4 | Feb 23, 2024 |
| 0.2.3 | Jan 11, 2024 |
| 0.2.1 | Dec 18, 2023 |
| 0.1.0 | Aug 23, 2023 |
#2081 in Algorithms
38 downloads per month
Used in rustsat-tools
6.5MB
16K
SLoC
rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT
The Minisat SAT solver to be used with the RustSAT library.
Features
debug: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug modequiet: disable all glucose-internal printing to stdout during solving (on by default)
Minisat Version
The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.
Dependencies
~1.3–4MB
~75K SLoC