search

QuMuLab / python-nnf

Manipulate NNF (Negation Normal Form) logical sentences
https://python-nnf.readthedocs.io
ISC License
17 stars 9 forks source link

Include a Tseiten encoding #5

Closed haz closed 4 years ago

haz commented 4 years ago

Any circuit can be converted to CNF in polynomial time with the overhead of newly introduced variables. This is an essential encoding to include.