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.

That is the rational behind the auto_term() function. The traditional grid function in any CNF generator can be updated by replacing the grid function:

Name:
Mail: (not shown)

Please type this: