SAT Debugging

Fixing stateless code

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

Get the stardust2.py sample program. Notice how every section of code is preceded with cnf.comment("text")? These are the debugging comments. Scroll down to rule 10 and change false('who', 'walter') to true('who', 'walter').

Name:
Mail: (not shown)

Please type this: