Name:               aig
Version:            0.2
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
    Data.AIG.Trace

  default-Language: Haskell2010
  ghc-options:      -Wall -fno-ignore-asserts -O2
  ghc-prof-options: -prof -auto-all -caf-all
  build-depends:
    base == 4.*,
    mtl,
    vector,
    QuickCheck >= 2.7

-- Ugh. Temporary fix to make Hackage happy.
--  if flag(enable-hpc)
--    ghc-options: -fhpc -hpcdir .hpc