SAT Debugging

Fixing stateless code

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

The debugger takes a faulty CNF as input. Then it goes through the CNF line by line, disabling chunks at a time, reporting the sections that block solutions.

Mail: (not shown)

Please type this: