Published August 29, 2018 | Version v2.0.0
Software Open

mvcisback/py-aiger: v2.0.0

  • 1. University of California, Berkeley

Description

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

Files

mvcisback/py-aiger-v2.0.0.zip

Files (26.2 kB)

Name Size Download all
md5:5638056e303df86a7b0fb97da6d9491e
26.2 kB Preview Download

Additional details

Related works