choco.cp.solver.constraints.global.matching
Classes 
AllDifferent
GlobalCardinality
GlobalCardinalityVar