return new Linear(var,"!=",value);
}
public Constraint postElement(int[] array, Var indexVar, String oper, int value) {
Constraint c = add(new Element(array, indexVar, oper, value));
c.post();
return c;
}
public Constraint postElement(int[] array, Var indexVar, String oper, Var var) {
Constraint c = add(new Element(array, indexVar, oper, var));