Module splr::solver

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

Re-exports

• pub use self::restart::RestartIF;
• pub use self::restart::RestartManager;

Modules

• restart
  Module restart provides restart heuristics. Module restart provides restart heuristics.

Structs

• Solver
  The SAT solver object consisting of 6 sub modules.
• StageManager

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: