x0
Abs Div Eq Ge Gt If Le Lt Mod Ne Neg
x1
Div Eq Ge Gt If Le Lt Mod Ne
xi
Element
Xor
copris
xs
Add Alldifferent Count Element GlobalCardinality GlobalCardinalityWithCosts LexLess LexLesseq Max Min Mul Nvalue Sub Vec