aig-0.2.1: And-inverter graphs in Haskell.