py-aiger
py-aiger copied to clipboard
mvcisback
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
I came across some unexplainable behavior when using the parallel composition of two AIGER circuits. Given the following minimal example: ``` circ0 = aiger.parse("aag 2 1 1 1 0\n2\n4 2\n4\ni0...
Currently, composition seems to scale super linearly in the size of the circuit. The appears to also hold true for all functions that rely on `modify_leafs` https://github.com/mvcisback/py-aiger/blob/master/aiger/aig.py#L246 This function performs...
