py-aiger (pypi): A python library for manipulating sequential and-inverter gates.
Keywords: aiger|circuit