homepage: https://github.com/jwaldmann/haskell-obdd
changelog-type: ''
hash: 52d9b4f3a7190652b925886c9b9d7d1ee9b3447fc0c244415c69e519f5b5a1eb
test-bench-deps:
  base: -any
  containers: -any
  obdd: -any
maintainer: Johannes Waldmann
synopsis: Ordered Reduced Binary Decision Diagrams
changelog: ''
basic-deps:
  base: ==4.*
  array: -any
  containers: ! '>=0.5'
  mtl: -any
  random: -any
all-versions:
- '0.2'
- '0.2.3'
- '0.2.5'
- '0.2.7'
- '0.3.1'
- '0.3.2'
- '0.3.3'
author: Johannes Waldmann
latest: '0.3.3'
description-type: haddock
description: ! 'Construct, combine and query OBDDs;

  an efficient representation for formulas in propositional logic'
license-name: GPL

homepage: https://github.com/jwaldmann/haskell-obdd
changelog-type: ''
hash: 750ef4320b0a415ffe78966328421669f8f5ff87cce0acef03be54335b2ee5f8
test-bench-deps:
  base: -any
  containers: -any
  obdd: -any
maintainer: Johannes Waldmann
synopsis: Ordered Reduced Binary Decision Diagrams
changelog: ''
basic-deps:
  base: ==4.*
  process: -any
  array: -any
  containers: ! '>=0.5'
  mtl: -any
  random: -any
all-versions:
- '0.2'
- '0.2.3'
- '0.2.5'
- '0.2.7'
- '0.3.1'
- '0.3.2'
- '0.3.3'
- '0.4.0'
author: Johannes Waldmann
latest: '0.4.0'
description-type: haddock
description: ! 'Construct, combine and query OBDDs;

  an efficient representation for formulas in propositional logic'
license-name: GPL

Update from Hackage at 2016-11-21T22:02:20Z
Update from Hackage at 2016-11-21T22:02:20Z