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.

Enums

Certificate	Normal results returned by Solver.
RestartMode	Restart modes
SolverEvent	define sub-modules' responsibilities

Traits

RestartIF	API for restart and stabilize.
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

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