SAT


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

My sat.py library has a lot of useful helper functions, but what do you do when you need something oddball and new that is not covered? There is a trivial way to translate anything into CNF that we'll go through now.

Name:
Mail: (not shown)

Please type this: