Module splr::solver[−][src]

Expand description

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;

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

The SAT solver object consisting of 6 sub modules.

Normal results returned by Solver.

define sub-modules’ responsibilities

API for SAT solver creation and modification.

API to solve SAT problems.

API for SAT validator like inject_assignment, validate and so on.

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