PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Library for moving between sequential circuits AIGs and DFAs.
Latest version:
0.4.4
Required dependencies:
attrs
|
bidict
|
dfa
|
funcy
|
py-aiger
|
py-aiger-bv
|
py-aiger-ptltl
|
pyrsistent
Downloads last day:
0
Downloads last week:
49
Downloads last month:
83