PyPI page
Home page
Author:
Jan Verbeek, Christian Muise
License:
ISC
Summary:
Manipulate NNF (Negation Normal Form) logical sentences
Latest version:
0.4.1
Required dependencies:
typing
Optional dependencies:
python-sat
Downloads last day:
15
Downloads last week:
99
Downloads last month:
457