choco.global
Classes 
BoundAllDiff
Cumulative
Lex
Occurrence