PyPI 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:
32
Downloads last week:
251
Downloads last month:
265
7-day smoothing