6 int main (int num, char** args){
7 void* solver = createCCSolver();
8 long set1[] = {0, 1, 2};
9 long set2[] = {3, 1, 7};
10 void *s1 = createSet(solver,0, set1, 3);
11 void *s2 = createSet(solver,0, set2, 3);
12 void *e1 = getElementVar(solver,s1);
13 void *e2 = getElementVar(solver,s2);
14 void *equals = createPredicateOperator(solver,SATC_EQUALS);
15 void *inputs[] = {e1, e2};
16 void* b = applyPredicate(solver,equals, inputs, 2);
17 addConstraint(solver,b);
18 if (solve(solver) == 1)
19 printf("e1=%ld \t e2=%ld\n", getElementValue(solver, e1), getElementValue(solver, e2));
22 deleteCCSolver(solver);