* @param VALUES set of values
*/
public static Constraint among(IntVar NVAR, IntVar[] VARS, int[] VALUES) {
int[] values = new TIntHashSet(VALUES).toArray(); // remove double occurrences
Arrays.sort(values); // sort
return new Constraint("Among", new PropAmongGAC_GoodImpl(ArrayUtils.append(VARS, new IntVar[]{NVAR}), values));
}