Software Open Access

mvcisback/py-aiger: v2.0.0

Marcell Vazquez-Chanlatte; Markus N. Rabe

pyAiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

Files (26.2 kB)
Name Size
mvcisback/py-aiger-v2.0.0.zip
md5:5638056e303df86a7b0fb97da6d9491e
26.2 kB Download
145
49
views
downloads
All versions This version
Views 145118
Downloads 4931
Data volume 1.3 MB813.4 kB
Unique views 125113
Unique downloads 3528

Share

Cite as