cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack
name: decision-diagrams
version: 0.1.0.0
synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)
description: Please see the README on GitHub at <https://github.com/msakai/haskell-decision-diagrams#readme>
category: Data, Logic
homepage: https://github.com/msakai/haskell-decision-diagrams#readme
bug-reports: https://github.com/msakai/haskell-decision-diagrams/issues
author: Masahiro Sakai
maintainer: masahiro.sakai@gmail.com
copyright: 2021 Masahiro Sakai
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
location: https://github.com/msakai/haskell-decision-diagrams
library
exposed-modules:
Data.DecisionDiagram.BDD
Data.DecisionDiagram.BDD.Internal.ItemOrder
Data.DecisionDiagram.ZDD
other-modules:
Data.DecisionDiagram.BDD.Internal.Node
hs-source-dirs:
src
build-depends:
base >=4.7 && <5
, containers >=0.5.11.0 && <0.7
, hashable >=1.2.7.0 && <1.4
, hashtables >=1.2.3.1 && <1.3
, intern >=0.9.1.2 && <1.0.0.0
, mwc-random >=0.13.6.0 && <0.16
, primitive >=0.6.3.0 && <0.8
, random >=1.1 && <1.3
, reflection >=2.1.4 && <2.2
, unordered-containers >=0.2.9.0 && <0.3
default-language: Haskell2010
test-suite decision-diagrams-test
type: exitcode-stdio-1.0
main-is: TestSuite.hs
other-modules:
TestBDD
TestZDD
Utils
Paths_decision_diagrams
hs-source-dirs:
test
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
QuickCheck >=2.11.3 && <2.15
, base >=4.7 && <5
, containers >=0.5.11.0 && <0.7
, decision-diagrams
, mwc-random >=0.13.6.0 && <0.16
, statistics >=0.14.0.2 && <0.16
, tasty >=1.1.0.4 && <1.5
, tasty-hunit >=0.10.0.1 && <0.11
, tasty-quickcheck ==0.10.*
, tasty-th >=0.1.7 && <0.2
default-language: Haskell2010