Module splr::solver

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

restart

Crate restart provides restart heuristics. Crate restart provides restart heuristics.

Structs

Solver

The SAT solver object consisting of 6 sub modules.

Enums

Certificate	Normal results returned by Solver.
SolverEvent	define sub-modules’ responsibilities

Traits

SatSolverIF	API for SAT solver creation and modification.
SolveIF	API to solve SAT problems.
ValidateIF	API for SAT validator like inject_assignment, validate and so on.

Type Definitions

SolverResult

The return type of Solver::solve. This captures the following three cases: