Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.nary.among
-
Class Summary Class Description PropAmongGAC Incremental propagator for Among Constraint: Counts the number of decision variables which take a value in the input value set GCCAT: NVAR is the number of variables of the collection VARIABLES that take their value in VALUES.