[−][src]Module splr::solver

Crate solver provides the top-level API as a SAT solver.

Structs

Restarter	`Restarter` provides restart API and holds data about restart conditions.
Solver	The SAT solver object consisting of 6 sub modules.

Certificate	Normal results returned by Solver.
RestartMode	Restart modes
SolverEvent	define submodules' responsibilities

RestartIF	API for restart like `block_restart`, `force_restart` and so on.
SatSolverIF	API for SAT solver creation and modification.
SolveIF	API for SAT solver like `build`, `solve` and so on.
ValidateIF	API for SAT validator like `inject_assignment`, `validate` and so on.

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