8 releases
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 |
#2070 in Algorithms
143 downloads per month
6.5MB
18K
SLoC
Contains (Mach-o exe, 175KB) cppsrc/simp/glucose
rustsat-glucose - Interface to the Glucose SAT Solver for RustSAT
The Glucose 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)
Glucose Version
The version of Glucose in this crate is Version 4.2.1. The used C++ source repository can be found here.
Dependencies
~1.3–3.5MB
~75K SLoC