src/Test/ordertest.c

   1
   2 #include "csolver.h"
   3
   4 int main(int numargs, char ** argv) {
   5         CSolver * solver=allocCSolver();
   6         uint64_t set1[]={5, 1, 4};
   7         Set * s=createSet(solver, 0, set1, 3);
   8         Order* order = createOrder(solver, TOTAL, s);
   9         Boolean* b1=  orderConstraint(solver, order, 5, 1);
  10         Boolean* b2=  orderConstraint(solver, order, 1, 4);
  11         addConstraint(solver, b1);
  12         addConstraint(solver, b2);
  13         if (startEncoding(solver)==1)
  14                 printf("O(5,1)=%d O(1,4)=%d O(5,4)=%d O(1,5)=%d O(1111,5)=%d\n",
  15                         getOrderConstraintValue(solver, order, 5, 1),
  16                         getOrderConstraintValue(solver, order, 1, 4),
  17                         getOrderConstraintValue(solver, order, 5, 4),
  18                         getOrderConstraintValue(solver, order, 1, 5),
  19                         getOrderConstraintValue(solver, order, 1111, 5));
  20         else
  21                 printf("UNSAT\n");
  22         deleteSolver(solver);
  23 }