Crate rustsat_kissat
source ·Expand description
§rustsat-kissat - Interface to the kissat SAT Solver for RustSAT
Armin Biere’s SAT solver Kissat to be used with the RustSAT library.
Note: at the moment this crate is known to not work on Windows since Kissat is non-trivial to get to work on Windows.
§Features
debug
: if this feature is enables, the C library will be built with debug functionality if the Rust project is built in debug modesafe
: disable writing through ‘popen’ for more safe usage of the library in applicationsquiet
: exclude message and profiling code (logging too)
§Kissat Versions
Kissat versions can be selected via cargo crate features. The following Kissat versions are available:
v3-1-0
: Version 3.1.0v3-0-0
: Version 3.0.0sc2022-light
: SAT Competition 2022 Lightsc2022-hyper
: SAT Competition 2022 Hypersc2022-bulky
: SAT Competition 2022 Bulky
Without any features selected, the newest version will be used. If conflicting Kissat versions are requested, the newest requested version will be selected.
Structs§
- An Interrupter for the Kissat solver
- Fatal error returned if the Kissat API returns an invalid value
- The Kissat solver type
Enums§
- Possible Kissat configurations
- Possible Kissat limits
Functions§
- Changes Kissat’s abort behaviour to call the given function instead
- Changes Kissat’s abort behaviour to cause a Rust panic instead