Crate rustsat_cadical

rustsat-cadical - Interface to the CaDiCaL SAT Solver for RustSAT

Armin Biere’s SAT solver CaDiCaL to be used with the RustSAT library.

Note: at the moment this crate is known to not work on Windows since CaDiCaL is non-trivial to get to work on Windows.

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

CaDiCaL Versions

CaDiCaL versions can be selected via cargo crate features. All CaDiCaL versions up to Version 1.9.4 are available. For the full list of versions and the changelog see the CaDiCaL releases.

Without any features selected, the newest version will be used. If conflicting CaDiCaL versions are requested, the newest requested version will be selected.

Structs

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

Enums

• Config
  Possible CaDiCaL configurations
• Limit
  Possible CaDiCaL limits