boolean enu = MIN.hasEnumeratedDomain();
for (int i = 0; i < VARS.length && !enu; i++) {
enu = VARS[i].hasEnumeratedDomain();
}
Propagator[] propagators = enu ?
new Propagator[]{new PropMin(VARS, MIN), new PropMin(VARS, MIN)} :
new Propagator[]{new PropMin(VARS, MIN)};
return new Constraint("Min", propagators);
}