rustsat-glucose 0.3.1

Interface to the SAT solver Glucose for the RustSAT library.
Documentation

Check & Test crates.io docs.rs License

rustsat-glucose - Interface to the Glucose SAT Solver for RustSAT

The Glucose SAT solver to be used with the RustSAT library.

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
  • quiet: disable all glucose-internal printing to stdout during solving (on by default)

Glucose Version

The version of Glucose in this crate is Version 4.2.1. The used C++ source repository can be found here.