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.2.0.0
x-revision: 3
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, Data Structures, 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
  other-extensions:
      BangPatterns
      FlexibleContexts
      FlexibleInstances
      RankNTypes
      ScopedTypeVariables
      CPP
      DeriveGeneric
      DeriveTraversable
      GeneralizedNewtypeDeriving
      PatternSynonyms
      TypeFamilies
      UndecidableInstances
      ViewPatterns
  build-depends:
      base >=4.11.0.0 && <5
    , containers >=0.5.11.0 && <0.7
    , hashable >=1.2.7.0 && <1.5
    , hashtables >=1.2.3.1 && <1.4
    , intern >=0.9.1.2 && <1.0.0.0
    , mwc-random >=0.13.6.0 && <0.16
    , primitive >=0.6.3.0 && <0.9
    , random >=1.1 && <1.3
    , reflection >=2.1.4 && <2.2
    , unordered-containers >=0.2.9.0 && <0.3
    , vector >=0.12.0.2 && <0.14
  default-language: Haskell2010

test-suite decision-diagrams-doctest
  type: exitcode-stdio-1.0
  main-is: test/doctests.hs
  other-modules:
      Paths_decision_diagrams
  other-extensions:
      BangPatterns
      FlexibleContexts
      FlexibleInstances
      RankNTypes
      ScopedTypeVariables
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.11.0.0 && <5
    , containers >=0.5.11.0 && <0.7
    , decision-diagrams
    , doctest
    , mwc-random >=0.13.6.0 && <0.16
  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
  other-extensions:
      BangPatterns
      FlexibleContexts
      FlexibleInstances
      RankNTypes
      ScopedTypeVariables
      TemplateHaskell
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      QuickCheck >=2.11.3 && <2.15
    , base >=4.11.0.0 && <5
    , containers >=0.5.11.0 && <0.7
    , decision-diagrams
    , deepseq >=1.4.3.0 && <1.5
    , mwc-random >=0.13.6.0 && <0.16
    , quickcheck-instances >=0.3.19 && <0.4
    , statistics >=0.14.0.2 && <0.17
    , 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
    , vector >=0.12.0.2 && <0.14
  default-language: Haskell2010