7 * Result: O(5,1)=0 O(1,4)=0 O(5,4)=0 O(1,5)=1 O(1111,5)=2
9 int main(int numargs, char **argv) {
10 CSolver *solver = allocCSolver();
11 uint64_t set1[] = {5, 1, 4};
12 Set *s = createSet(solver, 0, set1, 3);
13 Order *order = createOrder(solver, TOTAL, s);
14 Boolean *b1 = orderConstraint(solver, order, 5, 1);
15 Boolean *b2 = orderConstraint(solver, order, 1, 4);
16 addConstraint(solver, b1);
17 addConstraint(solver, b2);
18 if (startEncoding(solver) == 1)