src/Test/testcnf.c

   1 #include "nodeedge.h"
   2
   3 int main(int numargs, char ** argv) {
   4         CNF *cnf=createCNF();
   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         addConstraint(cnf, cand);
  15         solveCNF(cnf);
  16         deleteCNF(cnf);
  17 }