SAT Simplification

A CNF cleanup tool

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

One helpful tool consumes a verbose brute force CNF and returns a more minimal expression without redundancy. Patterns become much more visible after such a cleanup, helped along by pretty-printing the CNF in tidy columns.

Mail: (not shown)

Please type this: