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);