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