Package org.xcsp.modeler.definitions