Name:               aig
Version:            0.2.6
License:            BSD3
License-file:       LICENSE
Author:             Galois Inc.
Maintainer:         jhendrix@galois.com
Copyright:          (c) 2014-2017 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
  build-depends:
    base >= 4 && < 4.12,
    base-compat >= 0.6.0,
    mtl,
    vector,
    QuickCheck >= 2.7

test-suite aig-test
  type: exitcode-stdio-1.0
  hs-source-dirs: tests

  ghc-options: -Wall
  default-language: Haskell2010

  main-is: aig-test.hs
  other-modules:
    Tests.Operations

  build-depends:
    base == 4.*,
    aig,
    tasty,
    tasty-ant-xml,
    tasty-quickcheck >= 0.8.1,
    QuickCheck >= 2.7