aig-0.2.5: And-inverter graphs in Haskell.