Expand description
§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 Cpp library will be built with debug and check functionality if the Rust project is built in debug modequiet: disable all glucose-internal printing tostdoutduring solving (on by default)
§Minisat Version
The version of Minisat in this crate is Version 2.2.0. The used Cpp source can be found here.
§Minimum Supported Rust Version (MSRV)
Currently, the MSRV is 1.76.0, the plan is to always support an MSRV that is at least a year old.
Bumps in the MSRV will not be considered breaking changes. If you need a specific MSRV, make sure to pin a precise version of RustSAT.
Modules§
- core
- Minisat Solver Interface Without Preprocessing (Core)
- simp
- Minisat Solver Interface With Preprocessing (Simp)
Structs§
- Assump
Eliminated - Error returned if a provided assumption variable was eliminated in preprocessing by the solver
- Invalid
ApiReturn - Fatal error returned if the Minisat API returns an invalid value
Enums§
- Limit
- Possible Minisat limits