@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(); } }