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.

Multiple CNFs can be merged as long as the memoized look-ups all conform to the same pattern. (Hopefully people won't bikeshed too much on commas and spacing.) If someone breaks the pattern, it is fairly easy for another person to discover the error by looking at the look-up logs.

Name:
Mail: (not shown)

Please type this: