search

QuMuLab / python-nnf

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

Forgetting/projection. #16

Closed haz closed 4 years ago

haz commented 4 years ago

Closes #7

haz commented 4 years ago

Should we wait until #17 before merging this?