Package org.chocosolver.solver.constraints.nary.automata.FA.utils