Crate rustsat_glucose 

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

Minimum Supported Rust Version (MSRV)

Currently, the MSRV is 1.76.0, the plan is to always support an MSRV that is at least a year old.

Bumps in the MSRV will not be considered breaking changes. If you need a specific MSRV, make sure to pin a precise version of RustSAT.

Modules

core

Glucose Solver Interface Without Preprocessing (Core)

simp

Glucose 4 Solver Interface With Preprocessing (Simp)

Structs

AssumpEliminated

Error returned if a provided assumption variable was eliminated in preprocessing by the solver

InvalidApiReturn

Fatal error returned if the Glucose API returns an invalid value

Enums

Limit

Possible Glucose limits