Autoterm Merging

Supplanting the CNF grid function.

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

where x/y/n are all between 1 and 9 inclusive. The brilliant aspect about the grid function is portability. Two people can work on different aspects of the same puzzle, each generating a CNF that describes a portion of the puzzle. Their work can be seamlessly combined into a valid solution by merely cat-ing the two CNFs together.

Mail: (not shown)

Please type this: