CPSolver.Search.VariableSelector behaviour (Fixpoint v0.8.50)
Summary
Callbacks
@callback select_variable([Variable.t()]) :: Variable.t() | nil
@callback select_variable([Variable.t()], any()) :: Variable.t() | nil
@callback select_variable([Variable.t()]) :: Variable.t() | nil
@callback select_variable([Variable.t()], any()) :: Variable.t() | nil