3 int main(int numargs, char **argv) {
4 CSolver *solver = new CSolver();
5 uint64_t set1[] = {1, 2, 3};
6 Set *s = solver->createSet(0, set1, 3);
7 Order *order = solver->createOrder(SATC_TOTAL, s);
8 BooleanEdge b12 = solver->orderConstraint(order, 1, 2);
9 solver->addConstraint(b12);
10 BooleanEdge b23 = solver->orderConstraint(order, 2, 3);
11 solver->addConstraint(b23);
13 if (solver->solve() == 1) {