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.

Often I'll be trying to make a new sort of generalized SAT pattern. Usually this consists of a combination of brute-force enumeration and logical deduction, with a smattering of test cases on the corners.

Mail: (not shown)

Please type this: