search

QuMuLab / python-nnf

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

Semantic Emulation #18

Open haz opened 4 years ago

haz commented 4 years ago

Following this discussion, semantic emulation could be a very useful addition.