CPSolver.Constraint.Or (Fixpoint v0.10.2)
ElementVar constrains list of variables array, variables x and y such that:
array[x] = y
array is a list of variables
Summary
Functions
Callback implementation for CPSolver.Constraint.new/1.
Functions
Callback implementation for CPSolver.Constraint.new/1.