Name:               aig
Version:            0.2.3
License:            BSD3
License-file:       LICENSE
Author:             Galois Inc.
Maintainer:         jhendrix@galois.com
Copyright:          (c) 2014-2015 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.

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
  build-depends:
    base == 4.*,
    mtl,
    vector,
    QuickCheck >= 2.7