-aig-lower-variadic ¶

Lower variadic AndInverter operations to binary AndInverter

-aig-lower-word-to-bits ¶

Lower multi-bit AndInverter to single-bit ones