rustsat-kissat 0.3.1

Interface to the SAT solver kissat for the RustSAT library.
docs.rs failed to build rustsat-kissat-0.3.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: rustsat-kissat-0.2.1

Check & Test crates.io docs.rs License

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:

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