org.chocosolver.solver.constraints.nary.nvalue.amnv.mis