Expand description
Module assign
implements Boolean Constraint Propagation and decision var selection.
Re-exports§
pub use self::property::*;
Modules§
Structs§
- A record of assignment. It’s called ‘trail’ in Glucose.
- Object representing a variable.
Enums§
- Reasons of assignments
Traits§
- Methods on trail saving.
- Var manipulation
- API for var selection, depending on an internal heap.