+ putInt(solver->assumptionsSize());
+ fprintf(stderr, "assumption size = %d\nConflict Array: ",solver->assumptionsSize());
+ for(int i=0;i<solver->conflict.size();i++) {
+ fprintf(stderr, "%d = %d, ", i, sign(solver->conflict[i])==true);
+ }
+ fprintf(stderr, "\n***********************\n");
+ for(int i=0;i<solver->assumptionsSize();i++) {
+ putInt(sign(solver->conflict[i])==true);
+ }