CPSolver.Search.ValueSelector.Split (Fixpoint v0.10.2)
Bisect the domain.
Summary
Functions
Callback implementation for CPSolver.Search.ValueSelector.initialize/1.
Functions
Callback implementation for CPSolver.Search.ValueSelector.initialize/1.
Bisect the domain.
Callback implementation for CPSolver.Search.ValueSelector.initialize/1.
Callback implementation for CPSolver.Search.ValueSelector.initialize/1.