src/Test/ccsolvertest.c

   1 #include "ccsolver.h"
   2 #include <stdio.h>
   3
   4 #define SATC_EQUALS 0
   5
   6 int main (int num, char** args){
   7         void* solver = createCCSolver();
   8         long set1[] = {0, 1, 2};
   9         long set2[] = {3, 1, 7};
  10         void *s1 = createSet(solver,0, set1, 3);
  11         void *s2 = createSet(solver,0, set2, 3);
  12         void *e1 = getElementVar(solver,s1);
  13         void *e2 = getElementVar(solver,s2);
  14         void *equals = createPredicateOperator(solver,SATC_EQUALS);
  15         void *inputs[] = {e1, e2};
  16         void* b = applyPredicate(solver,equals, inputs, 2);
  17         addConstraint(solver,b);
  18         if (solve(solver) == 1)
  19                 printf("e1=%ld \t e2=%ld\n", getElementValue(solver, e1), getElementValue(solver, e2));
  20         else
  21                 printf("UNSAT\n");
  22         deleteCCSolver(solver);
  23         return 0;
  24 }
  25