aig-0.2.3: And-inverter graphs in Haskell.