IntExpArray intvars = new IntExpArray(constrainer,vars.length);
for(int i=0; i<vars.length; i++) {
IntExp var = (IntExp)vars[i].getImpl();
intvars.set(var, i);
}
constrainer.trace(intvars);
}
/**
* Sets the duration, in milliseconds, of the time limit on searches.
*