long set1[] = {0, 1, 2};
long set2[] = {3, 1, 7};
void *s1 = createSet(solver,0, set1, 3);
void *s2 = createSet(solver,0, set2, 3);
void *e1 = getElementVar(solver,s1);
void *e2 = getElementVar(solver,s2);
long set1[] = {0, 1, 2};
long set2[] = {3, 1, 7};
void *s1 = createSet(solver,0, set1, 3);
void *s2 = createSet(solver,0, set2, 3);
void *e1 = getElementVar(solver,s1);
void *e2 = getElementVar(solver,s2);