- void addItem(MutableSet * set, uint64_t element);
- int64_t createUniqueItem(MutableSet * set);
+CSolver * allocCSolver();
+Set * createSet(CSolver *, VarType type, uint64_t * elements, uint num);
+Set * createRangeSet(CSolver *, VarType type, uint64_t lowrange, uint64_t highrange);
+MutableSet * createMutableSet(CSolver *, VarType type);