SAT Debugging

Fixing stateless code

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

While Prolog has more features and is capable of solving any problem that SAT could, debugging is one place where SAT seems more straightforward.

Mail: (not shown)

Please type this: