Var
copris
Vec
copris
value
Abs Add Alldifferent And Bool Constraint Count Cumulative Disjunctive Div Element Eq FALSE Ge GlobalCardinality GlobalCardinalityWithCosts Gt If Iff Imp Le LexLess LexLesseq Lt Max Min Mod Mul NIL Ne Neg Not Num Nvalue Or SolverTrait Sub TRUE Term Var Weightedsum Xor
values
EnumDomain SetDomain SolverTrait
variables
Abs Add Alldifferent And CSP Count Cumulative Disjunctive Div Element Eq Expr Ge GlobalCardinality GlobalCardinalityWithCosts Gt If Iff Imp Le LexLess LexLesseq Lt Max Min Mod Mul Ne Neg Not Nvalue Or Sub Var Weightedsum Xor
variablesDelta
CSP
vs
Matrix