3 int main(int numargs, char ** argv) {
4 CSolver * solver=allocCSolver();
5 uint64_t set1[]={0, 1, 2};
6 uint64_t set2[]={3, 4};
7 Set * s1=createSet(solver, 0, set1, 3);
8 Set * s2=createSet(solver, 0, set2, 2);
9 Element * e1=getElementVar(solver, s1);
10 Element * e2=getElementVar(solver, s2);
11 Set * domain[]={s1, s2};
12 Predicate *equals=createPredicateOperator(solver, EQUALS, domain, 2);
13 Element * inputs[]={e1, e2};
14 Boolean *b=applyPredicate(solver, equals, inputs, 2);
15 addConstraint(solver, b);
17 if (startEncoding(solver)==1)
18 printf("e1=%llu e2=%llu\n", getElementValue(solver,e1), getElementValue(solver, e2));