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