CPSolver.Search.VariableSelector.CHB (Fixpoint v0.9.8)
Conflict-history based variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.4)
Summary
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize CHB data
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute chbs of variables in one pass
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize CHB data
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute chbs of variables in one pass