PyPI page
Home page
Author:
None
Summary:
A Python Framework for Solving Quantfied Boolean Formulas
Latest version:
1.1.1
Required dependencies:
cmeel
|
py-aiger-cnf
|
python-sat
Downloads last day:
5
Downloads last week:
15
Downloads last month:
27