SAT


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

As long as everyone agrees on the same grid naming scheme, they can each generate chunks of the CNF individually in any language they want. Afterwards, all the sub-sections can be cat-ed together and the whole puzzle can be solved. If two people accidentally double up on a section, the solver eliminates the redundancy. If someone forgets to write a section, the solver will generate many solutions that meet the criteria that have been included.

Name:
Mail: (not shown)

Please type this: