Crate rustsat_kissat

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:

• 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.

Structs

• Interrupter
  An Interrupter for the Kissat solver
• InvalidApiReturn
  Fatal error returned if the Kissat API returns an invalid value
• Kissat
  The Kissat solver type

Enums

• Config
  Possible Kissat configurations
• Limit
  Possible Kissat limits

Functions

• call_instead_of_abort
  Changes Kissat’s abort behaviour to call the given function instead
• panic_intead_of_abort
  Changes Kissat’s abort behaviour to cause a Rust panic instead