PyPI page
Home page
Author:
Karishma Daga, Christian Muise
License:
MIT
Summary:
Build logical theories for SAT solvers on the fly
Latest version:
1.2.0
Required dependencies:
nnf
Optional dependencies:
python-sat
Downloads last day:
8
Downloads last week:
70
Downloads last month:
231