CPSolver.Search.ValueSelector behaviour (Fixpoint v0.9.7)

Summary

Callbacks

initialize(map)

@callback initialize(map()) :: :ok

select_value(t)

@callback select_value(Variable.t()) :: integer()