CPSolver.Search.ValueSelector behaviour (Fixpoint v0.9.0)
Summary
Callbacks
Link to this callback
select_value(t)
@callback select_value(Variable.t()) :: integer()
@callback select_value(Variable.t()) :: integer()