-
Mahesh Tripunitara authored
Improved sat solver output processing. Tried to add waitFor() to process runtime, but that makes things that ran fairly fast seem to run much slower.
d2471f03
Improved sat solver output processing. Tried to add waitFor() to process runtime, but that makes things that ran fairly fast seem to run much slower.