Module splr::solver [−][src]
Expand description
Crate solver
provides the top-level API as a SAT solver.
Re-exports
pub use self::restart::property::*;
pub use self::restart::RestartIF;
pub use self::restart::RestartMode;
pub use self::restart::Restarter;
Modules
Crate restart
provides restart heuristics.
Crate restart
provides restart heuristics.
Structs
The SAT solver object consisting of 6 sub modules.
Enums
Traits
API for SAT solver creation and modification.
API to solve
SAT problems.
API for SAT validator like inject_assignment
, validate
and so on.
Type Definitions
The return type of Solver::solve
.
This captures the following three cases: