[−][src]Module splr::propagator
Assignment management
Structs
AssignStack | A record of assignment. It's called 'trail' in Glucose. |
VarIdHeap | Heap of VarId, based on var activity |
Assignment management
AssignStack | A record of assignment. It's called 'trail' in Glucose. |
VarIdHeap | Heap of VarId, based on var activity |