CPSolver.Utils (Fixpoint v0.8.6)

Summary

Functions

Link to this function

array2d_min_max(arr)

Link to this function

localize_variables(variables)

@spec localize_variables([CPSolver.IntVariable.t()]) ::
  {[CPSolver.IntVariable.t()], :fail | boolean()}
Link to this function

on_primary_node?(arg)