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.

These are the most basic simplification processes. Various papers describe more advanced transformations, but these are beyond me for now.

Name:
Mail: (not shown)

Please type this: