SAT Debugging

Fixing stateless code

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

As expected, there are two labels reported to be flawed. One of these, "links in triples", does not appear as a comment in stardust2.py. It is actually part of the automatically generated physics of a Zebra puzzle. (If you open the CNF, you'll find these physics make up 99% of the file.) The second correctly identifies the sabotaged section.

Name:
Mail: (not shown)

Please type this: