aig-0.2.6: And-inverter graphs in Haskell.