@Test(groups = "1s")
public void testJL2() {
for (int k = 0; k < 50; k++) {
Solver s = new Solver();
final IntVar i = VF.enumerated("i", -2, 2, s);
final IntVar j = VF.enumerated("j", -2, 2, s);
// Chatterbox.showDecisions(s);
// Chatterbox.showSolutions(s);
s.set(ISF.random_value(new IntVar[] {i, j}));
s.post(new Constraint("Constraint", new PropTestDM1(i, j), new PropTestDM2(i, j)));
s.findAllSolutions();
}
}
