PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Pythonic interface between AIGs and SAT solvers.
Latest version:
3.0.7
Required dependencies:
py-aiger
|
py-aiger-cnf
|
python-sat
Optional dependencies:
py-aiger-bv
Downloads last day:
0
Downloads last week:
46
Downloads last month:
88