Name: aig Version: 0.2.6 x-revision: 1 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 && < 0.11.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