public Constraint linear(Var var1, String oper, Var var2) {
return add(new Linear(var1, oper, var2));
}
public Constraint post(int[] array, Var[] vars, String oper, int value) {
Constraint c = add(new Linear(array, vars, oper, value));
c.post();
return c;
}