Package org.chocosolver.solver.constraints.extension.binary