Name: aig Version: 0.1.0.0 License: BSD3 License-file: LICENSE Author: Galois Inc. Maintainer: jhendrix@galois.com Copyright: (c) 2014 Galois Inc. Category: Data build-type: Simple cabal-Version: >= 1.10 Synopsis: And-inverter graphs in Haskell. Description: This package provides a generic interfaces for working with And-Inverter graphs (AIGs) in Haskell. And-Inverter graphs are a useful format for representing combinatorial and sequential boolean circuits in a way that is amenable to simulation and analysis. These interfaces allow clients to write code that can create and use AIGs without depending on a particular AIG package. -- Ugh. Temporary fix to make Hackage happy. --flag enable-hpc -- Description: Collect HPC coverage information. -- Default: False source-repository head type: git location: https://github.com/GaloisInc/aig.git library hs-source-dirs: src exposed-modules: Data.AIG Data.AIG.Interface Data.AIG.Operations default-Language: Haskell2010 ghc-options: -Wall build-depends: base == 4.*, mtl, vector -- Ugh. Temporary fix to make Hackage happy. -- if flag(enable-hpc) -- ghc-options: -fhpc -hpcdir .hpc