search

QuMuLab / python-nnf

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

Optionally call pysat if it is installed #10

Closed haz closed 4 years ago

haz commented 4 years ago

https://github.com/pysathq/pysat

Should only be done via optional configuration, and we can check for the package access as part of the attempt.

blyxxyz commented 4 years ago

I'm working on this and #15.