[−][src]Module varisat::prop

Unit propagation.

Re-exports

pub use assignment::backtrack;

pub use assignment::enqueue_assignment;

pub use assignment::full_restart;

pub use assignment::restart;

pub use assignment::Assignment;

pub use assignment::Trail;

pub use graph::Conflict;

pub use graph::ImplGraph;

pub use graph::ImplNode;

pub use graph::Reason;

pub use watch::enable_watchlists;

pub use watch::Watch;

pub use watch::Watchlists;

Modules

assignment	Partial assignment and backtracking.
binary	Propagation of binary clauses.
graph	The implication graph.
long	Propagation of long clauses.
watch	Watchlists to detect clauses that became unit.

Functions

Propagate enqueued assignments.