CPSolver.Search.VariableSelector behaviour (Fixpoint v0.8.5)

Summary

Callbacks

Link to this callback

select_variable(list)

@callback select_variable([Variable.t()]) :: Variable.t() | nil