7 releases
| 0.2.4 | Feb 23, 2024 |
|---|---|
| 0.2.3 | Jan 11, 2024 |
| 0.2.1 | Dec 18, 2023 |
| 0.2.0 | Oct 30, 2023 |
| 0.1.0 | Aug 23, 2023 |
#1814 in Algorithms
112 downloads per month
Used in 2 crates
5.5MB
14K
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 mode
Minisat Version
The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.
lib.rs:
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 mode
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.1–5MB
~88K SLoC