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