SAT


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

The meat and potatoes of the whole system is the CNF file. The CNF file represents an interlocking, looping, self-referential wiring of state bits (terms) and logic gates (clauses). CNF itself is extremely simple and extremely limited. First, you only get AND, OR, NOT to work with. Second, CNF is fairly strict with how the logic can be ordered. Every expression takes the form of

Name:
Mail: (not shown)

Please type this: