CPSolver.Utils (Fixpoint v0.7.5)
Summary
Functions
Link to this function
localize_variables(variables)
@spec localize_variables([CPSolver.IntVariable.t()]) :: {[CPSolver.IntVariable.t()], :fail | boolean()}
Link to this function