OKlibrary  0.2.1.6
TseitinTranslation.mac File Reference

The Tseitin translation for translating DNF to CNF. More...

Go to the source code of this file.


Detailed Description

The Tseitin translation for translating DNF to CNF.

TODO: file needs renaming to "CanonicalTranslation.mac".

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/FiniteFunctions/TseitinTranslation.mac");

Definition in file TseitinTranslation.mac.