Crate rustsat_minisat

rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT

The Minisat 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)

Minisat Version

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

Modules

• core
  Minisat Solver Interface Without Preprocessing (Core)
• simp
  Minisat 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 Minisat API returns an invalid value

Enums

• Limit
  Possible Minisat limits