aig-0.1.0.0: And-inverter graphs in Haskell.
Data.AIG
Description
module Data.AIG.Interface
module Data.AIG.Operations