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.

Remove duplicate clauses. If it was correct the first time, it'll still be correct later.

Name:
Mail: (not shown)

Please type this: