src/Test/constraint.cc

   1 #include "csolver.h"
   2
   3 int main(int numargs, char **argv) {
   4         CSolver *solver = new CSolver();
   5         uint64_t elements[] = {0, 1};
   6         Set *s = solver->createSet(1, elements, 2);
   7         Element *e1 = solver->getElementVar(s);
   8         Element *e2 = solver->getElementVar(s);
   9         Predicate *p = solver->createPredicateOperator(SATC_LT);
  10         Element *earray[] = {e1, e2};
  11         BooleanEdge be = solver->applyPredicate(p, earray, 2);
  12         solver->addConstraint(be);
  13
  14         if (solver->solve() == 1) {
  15                 printf("SAT\n");
  16         } else {
  17                 printf("UNSAT\n");
  18         }
  19         delete solver;
  20 }