void setUnSAT() { model_print("Setting UNSAT %%%%%%\n"); unsat = true; }
bool isUnSAT() { return unsat; }
+ void printConstraint(BooleanEdge boolean);
void printConstraints();
Vector<Order *> *getOrders() { return &allOrders;}
void replaceBooleanWithBoolean(BooleanEdge oldb, BooleanEdge newb);
CSolver *clone();
void serialize();
+ static CSolver* deserialize(const char * file);
void autoTune(uint budget);
void setTuner(Tuner *_tuner) { tuner = _tuner; }