-
Jonathan Shahen authored
CNF Solver works on Windows; Fixed the timing kery names; going to more after I merge in Mahesh's HOTFIX for a "lethal bug"
2ed4678c
CNF Solver works on Windows; Fixed the timing kery names; going to more after I merge in Mahesh's HOTFIX for a "lethal bug"