name: HasCacBDD version: 0.2.0.0 synopsis: Haskell bindings for CacBDD homepage: https://github.com/m4lvin/HasCacBDD license: GPL-2 license-file: LICENSE author: Malvin Gattinger maintainer: malvin@w4eg.de category: Data build-type: Custom cabal-version: 1.24 description: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management. Original C++ code from and a C wrapper are included. extra-source-files: README.md stack.yaml c/BDDNodeC.cpp c/BDDNodeC.h c/Makefile cpp/*.cpp cpp/*.h cpp/Makefile cpp/OriginalMakefile cpp/README extra-doc-files: CHANGELOG.md source-repository head type: git location: git://github.com/m4lvin/HasCacBDD.git custom-setup setup-depends: base >= 4.8 && < 5, Cabal < 3.9, directory library exposed-modules: Data.HasCacBDD, Data.HasCacBDD.Visuals build-depends: base >=4.8 && < 5, process >= 1.1 && < 1.7, QuickCheck >= 2.4 && < 2.15 default-language: Haskell2010 hs-source-dirs: hs extra-libraries: stdc++, CacBDD cc-options: -fPIC -shared ghc-options: -pgml g++ -Wall -fPIC -fno-full-laziness test-suite tests default-language: Haskell2010 type: exitcode-stdio-1.0 main-is: Main.hs hs-source-dirs: tests build-depends: base >=4.8, HasCacBDD, hspec < 2.12, QuickCheck > 2.4 ghc-options: -Wall -threaded