Uses of Class
org.xcsp.modeler.implementation.ProblemIMP3.MVariable.MVarInteger