SAT Debugging

Fixing stateless code

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

Run the stardust program, and it'll report No possible solutions. Now run the debugger across the generated CNF.

Name:
Mail: (not shown)

Please type this: