CSolver *solver = new CSolver();
uint64_t set1[] = {5};
uint64_t set3[] = {1, 3, 4, 6};
- Set *s1 = solver->createSet(0, set1, 3);
+ Set *s1 = solver->createSet(0, set1, 1);
Set *s3 = solver->createSet(0, set3, 4);
Element *e1 = solver->getElementConst(4, 5);
Element *e2 = solver->getElementVar(s3);
Set *domain2[] = {s1, s3};
- Predicate *lt = solver->createPredicateOperator(LT, domain2, 2);
+ Predicate *lt = solver->createPredicateOperator(SATC_LT, domain2, 2);
Element *inputs2[] = {e1, e2};
- Boolean *b = solver->applyPredicate(lt, inputs2, 2);
+ BooleanEdge b = solver->applyPredicate(lt, inputs2, 2);
solver->addConstraint(b);
- if (solver->startEncoding() == 1)
- printf("e1=%llu e2=%llu\n", solver->getElementValue(e1), solver->getElementValue(e2));
+ if (solver->solve() == 1)
+ printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
else
printf("UNSAT\n");
delete solver;