if (ret == l_True) {
putInt(IS_SAT);
putInt(solver->nVars());
- putInt(0);
for(int i=0;i<solver->nVars();i++) {
putInt(solver->model[i]==l_True);
}
#endif
// Extra options:
//
- IntOption verb ("MAIN", "verb", "Verbosity level (0=silent, 1=some, 2=more).", 1, IntRange(0, 2));
+ IntOption verb ("MAIN", "verb", "Verbosity level (0=silent, 1=some, 2=more).", 0, IntRange(0, 2));
BoolOption mod ("MAIN", "model", "show model.", false);
IntOption vv ("MAIN", "vv", "Verbosity every vv conflicts", 10000, IntRange(1,INT32_MAX));
BoolOption pre ("MAIN", "pre", "Completely turn on/off any preprocessing.", true);