IntExpArray intvars = new IntExpArray(constrainer, vars.length);
for (int i = 0; i < vars.length; i++) {
IntExp cvar = (IntExp) vars[i].getImpl();
intvars.set(cvar, i);
}
IntExp sum = constrainer.sum(intvars);
problem.defineConstraintImpl(this, sum, oper, value);
}
public Linear(int[] values, Var[] vars, String oper, Var var) {
super(vars[0].getProblem(), name);