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 mode
• safe: disable writing through 'popen' for more safe usage of the library in applications
• quiet: exclude message and profiling code (logging too)

Kissat Versions

Kissat versions can be selected via cargo crate features. The following Kissat versions are available:

• v4-0-1: Version 4.0.1
• v4-0-0: Version 4.0.0
• v3-1-0: Version 3.1.0
• v3-0-0: Version 3.0.0
• sc2022-light: SAT Competition 2022 Light
• sc2022-hyper: SAT Competition 2022 Hyper
• sc2022-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.