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 *domain[] = {s1, s2};
15 void *equals = createPredicateOperator(solver,SATC_EQUALS, domain, 2);
16 void *inputs[] = {e1, e2};
17 void* b = applyPredicate(solver,equals, inputs, 2);
18 addConstraint(solver,b);
19 if (solve(solver) == 1)
20 printf("e1=%ld \t e2=%ld\n", getElementValue(solver, e1), getElementValue(solver, e2));
23 deleteCCSolver(solver);