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

Minisat Version

The version of Minisat in this crate is Version 2.2.0. The used Cpp 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