PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Python library to convert between AIGER and CNF
Latest version:
5.0.8
Required dependencies:
bidict
|
funcy
|
py-aiger
Downloads last day:
270
Downloads last week:
1,984
Downloads last month:
6,564
7-day smoothing