99100101102103104105106
regexp.append('1'); } regexp.append('0'); regexp.append(i == m - 1 ? '*' : '+'); } IAutomaton auto = new FiniteAutomaton(regexp.toString()); solver.post(IntConstraintFactory.regular(cells, auto)); }