Matthias Cosler

Wrong results when using parallel compositions

2

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...