CPSolver.Search.VariableSelector.FirstFail (Fixpoint v0.9.7)
Summary
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Callback implementation for CPSolver.Search.VariableSelector.update/2
.