break;
}
}
+ printf("Solution is not found after %d iteration(s)\n", iteration);
}
else printf("No solution found!\n");
- ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
+ //ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
// sylvan_enum(old, init->vars.varset, (enum_cb)callback, NULL);
// sylvan_printdot_nc(old);
time_end_encode = clock();