Expand description
Module solver
provides the top-level API as a SAT solver.
Re-exports§
pub use self::restart::RestartIF;
pub use self::restart::RestartManager;
Modules§
- Module
restart
provides restart heuristics. Modulerestart
provides restart heuristics.
Structs§
- The SAT solver object consisting of 6 sub modules.
Enums§
- Normal results returned by Solver.
- define sub-modules’ responsibilities
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 Aliases§
- The return type of
Solver::solve
. This captures the following three cases: