aig-0.2.4: And-inverter graphs in Haskell.