org.chocosolver.solver.constraints.nary.automata

Classes