-
Hidetomo Nabeshima authored
Add out_max to toDimacs to output the reduced cnf which does not contain unassigned variables larger than out_max
1decff83
Add out_max to toDimacs to output the reduced cnf which does not contain unassigned variables larger than out_max