Hi,
> Anyway here is the port. OK? nice, works on my i386 (Atom), did a "make regress", will likely do more testing with other examples. Fixed a typo in the man page (was called logic2cnd) and changed it to "any _propositional_ logic formula", or does it solve predicate logic? As I assume you are also the developer: Does it sort the variables for the normal form or is the sorting dependend on the sequence in the original formula? regards Matthias
patch-logic2cnf_1
Description: Binary data
