/**
* This method is similar to the one above but instead of �cardValue�
* it uses "cardVar"
*/
public Constraint postCardinality(Var[] vars, Var cardVar, String oper, Var var) {
Constraint c = add(new Cardinality(vars, cardVar, oper, var));
c.post();
return c;
}