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.

use: output in1 in2 ...
assumes the existence of in1.cnf and in1.lut
generates output.cnf and output.lut
for combining expressions created by sat.CNF.auto_term()
Mail: (not shown)

Please type this: