@Test(groups = "1s")
public void testalldifferent_cond() {
Solver solver = new Solver();
IntVar[] XS = VF.enumeratedArray("XS", 5, 0, 3, solver);
solver.post(ICF.alldifferent_conditionnal(XS,
new Condition() {
@Override
public boolean holdOnVar(IntVar x) {
return !x.contains(1) && !x.contains(3);
}
}));