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);
14 if (solver->solve() == 1) {