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 Cpp 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 Cpp source repository can be found here.