Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.nary.globalcardinality
-
Class Summary Class Description GlobalCardinality Global Cardinality constraintPropFastGCC Propagator for Global Cardinality Constraint (GCC) for integer variables Basic filter: no particular consistency but fast and with a correct checker