src/Test/graphtest.cc

   1 #include "csolver.h"
   2
   3 int main(int numargs, char **argv) {
   4         CSolver *solver = new CSolver();
   5         uint64_t set1[] = {1, 2, 3};
   6         Set *s = solver->createSet(0, set1, 3);
   7         Order *order = solver->createOrder(SATC_TOTAL, s);
   8         BooleanEdge b12 =  solver->orderConstraint(order, 1, 2);
   9         solver->addConstraint(b12);
  10         BooleanEdge b23 =  solver->orderConstraint(order, 2, 3);
  11         solver->addConstraint(b23);
  12
  13         if (solver->solve() == 1) {
  14                 printf("SAT\n");
  15         } else {
  16                 printf("UNSAT\n");
  17         }
  18         delete solver;
  19 }