homepage: https://github.com/msakai/haskell-decision-diagrams#readme
changelog-type: markdown
hash: 41aa23e894b238005c8153927045727d2bc70d693a1da0acaeda14ebdc6d3f25
test-bench-deps:
  mwc-random: '>=0.13.6.0 && <0.16'
  tasty-th: '>=0.1.7 && <0.2'
  base: '>=4.7 && <5'
  containers: '>=0.5.11.0 && <0.7'
  tasty-quickcheck: ==0.10.*
  statistics: '>=0.14.0.2 && <0.16'
  tasty-hunit: '>=0.10.0.1 && <0.11'
  tasty: '>=1.1.0.4 && <1.5'
  decision-diagrams: -any
  QuickCheck: '>=2.11.3 && <2.15'
maintainer: masahiro.sakai@gmail.com
synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams
  (ZDD)
changelog: |
  # Changelog for decision-diagrams

  ## Unreleased changes
basic-deps:
  mwc-random: '>=0.13.6.0 && <0.16'
  reflection: '>=2.1.4 && <2.2'
  base: '>=4.7 && <5'
  unordered-containers: '>=0.2.9.0 && <0.3'
  containers: '>=0.5.11.0 && <0.7'
  hashtables: '>=1.2.3.1 && <1.3'
  intern: '>=0.9.1.2 && <1.0.0.0'
  hashable: '>=1.2.7.0 && <1.4'
  random: '>=1.1 && <1.3'
  primitive: '>=0.6.3.0 && <0.8'
all-versions:
- 0.1.0.0
author: Masahiro Sakai
latest: 0.1.0.0
description-type: markdown
description: |
  # decision-diagrams

  [![Build Status](https://github.com/msakai/haskell-decision-diagrams/actions/workflows/build.yaml/badge.svg)](https://github.com/msakai/haskell-decision-diagrams/actions/workflows/build.yaml)
  [![Coverage Status](https://coveralls.io/repos/msakai/haskell-decision-diagrams/badge.svg)](https://coveralls.io/r/msakai/haskell-decision-diagrams)

  Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) implementation in Haskell.

  Hash-consing is implemented using [intern](https://hackage.haskell.org/package/intern) package.
license-name: BSD-3-Clause

Update from Hackage at 2021-11-03T15:58:56Z
Update from Hackage at 2021-11-03T15:58:56Z
