Changeset 75

Timestamp:

Aug 22, 2014, 10:20:29 AM (10 years ago)

Author:

krafczy

Message:

Finish the MaxTermConverter2, which uses a backtracking algorithm
Better progress printing in CNFConverter

(No files)

Note: See TracChangeset for help on using the changeset viewer.