homepage: ''
changelog-type: ''
hash: adc04820be2f2f4c118a9d8e2457fceaf37239d64e5ffb458efe7fb87604765b
test-bench-deps: {}
maintainer: gershomb@gmail.com
synopsis: Simplification tools for simple propositional formulas.
changelog: ''
basic-deps:
  base: ! '>=4 && <7'
  containers: ! '>=0.4'
all-versions:
- '0.1'
- '0.1.5'
- '0.1.6'
- '0.1.7'
- '0.1.8'
author: Gershom Bazerman, Jeff Polakow
latest: '0.1.8'
description-type: haddock
description: Normal form representation for boolean expressions. Typically simplifies
  such expressions, but is not guaranteed to produce the absolute simplest form.
license-name: BSD3

homepage: ''
changelog-type: ''
hash: d05220c8f3aaeb0c5f6f92cd6c3d869b7f5253b66cdb6d5d392b9198ec061577
test-bench-deps: {}
maintainer: gershomb@gmail.com
synopsis: Simplification tools for simple propositional formulas.
changelog: ''
basic-deps:
  base: ! '>=4 && <4.6 || >=4.7 && <4.8.1 || >=4.9 && <5'
  containers: ! '>=0.4'
all-versions:
- '0.1'
- '0.1.5'
- '0.1.6'
- '0.1.7'
- '0.1.8'
author: Gershom Bazerman, Jeff Polakow
latest: '0.1.8'
description-type: haddock
description: Normal form representation for boolean expressions. Typically simplifies
  such expressions, but is not guaranteed to produce the absolute simplest form.
license-name: BSD3

Update from Hackage at 2016-11-27T15:58:30Z
Update from Hackage at 2016-11-27T15:58:30Z