Order *order = solver->createOrder(SATC_TOTAL, s);
BooleanEdge b1 = solver->orderConstraint(order, 5, 1);
BooleanEdge b2 = solver->orderConstraint(order, 1, 4);
Order *order = solver->createOrder(SATC_TOTAL, s);
BooleanEdge b1 = solver->orderConstraint(order, 5, 1);
BooleanEdge b2 = solver->orderConstraint(order, 1, 4);