Module splr::propagator

Crate propagator implements Boolean Constraint Propagation and decision var selection.

Structs

AssignStack	A record of assignment. It's called 'trail' in Glucose.
VarIdHeap	Heap of VarId, based on var activity

Traits

PropagatorIF	API for assignment like propagate, enqueue, cancel_until, and so on.
VarSelectionIF	API for var selection.