Skip to content

Make Aig_And commutative when fAddStrash is enabled. - #554

Open
TrevorHansen wants to merge 1 commit into
berkeley-abc:masterfrom
TrevorHansen:upstream-commutative-and
Open

Make Aig_And commutative when fAddStrash is enabled.#554
TrevorHansen wants to merge 1 commit into
berkeley-abc:masterfrom
TrevorHansen:upstream-commutative-and

Commits

Commits on Aug 29, 2026