@Test(groups = "1s", expectedExceptions = SolverException.class) public void testNeg() { Solver solver = new Solver(); IntVar[] CS = VF.enumeratedArray("CS", 4, -10, 10, solver); solver.post(ICF.regular(CS, new FiniteAutomaton("<-9>1*"))); Chatterbox.showSolutions(solver); solver.findAllSolutions(); final List<Solution> solutions = solver.getSolutionRecorder().getSolutions(); System.out.println(solutions); Assert.assertEquals(1, solutions.size()); Assert.assertEquals(-9, (int) solutions.get(0).getIntVal(CS[0])); Assert.assertEquals(1, (int) solutions.get(0).getIntVal(CS[1])); Assert.assertEquals(1, (int) solutions.get(0).getIntVal(CS[2])); Assert.assertEquals(-5, (int) solutions.get(0).getIntVal(CS[3])); }