3 int main(int numargs, char ** argv) {
5 Edge v1=constraintNewVar(cnf);
6 Edge v2=constraintNewVar(cnf);
7 Edge v3=constraintNewVar(cnf);
8 Edge nv1=constraintNegate(v1);
9 Edge nv2=constraintNegate(v2);
10 Edge iff1=constraintIFF(cnf, nv1, v2);
11 Edge iff2=constraintIFF(cnf, nv2, v3);
12 // Edge iff3=constraintIFF(cnf, v3, nv1);
13 //Edge cand=constraintAND(cnf, 3, (Edge[]) {iff1, iff2, iff3});
14 Edge cand=constraintAND(cnf, 2, (Edge[]) {iff1, iff2});
15 addConstraint(cnf, cand);