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.

BE AWARE: Every sat solver already does this step internally and much much faster. There is no reason to use this code in the solving pipeline - it is for exploration and experimentation.

Mail: (not shown)

Please type this: