3 int main(int numargs, char ** argv) {
4 CSolver * solver=allocCSolver();
5 uint64_t set1[]={0, 1, 2};
6 Set * s=createSet(solver, 0, set1, 3);
7 Element * e1=getElementVar(solver, s);
8 Element * e2=getElementVar(solver, s);
10 Predicate *equals=createPredicateOperator(solver, EQUALS, domain, 2);
11 Element * inputs[]={e1, e2};
12 Boolean * b=applyPredicate(solver, equals, inputs, 2);
13 addBoolean(solver, b);
14 Order * o=createOrder(solver, TOTAL, s);
15 Boolean * oc=orderConstraint(solver, o, 1, 2);
16 addBoolean(solver, oc);