homepage: https://github.com/sdiehl/picologic
changelog-type: ''
hash: 499e881e41d521fd4ae2333d59ddb855f5366b4e7f6c69d8af0949d87266c1f0
test-bench-deps:
  base: ! '>=2 && <5'
  picologic: -any
  picosat: -any
  containers: -any
  mtl: -any
  QuickCheck: -any
  pretty: -any
maintainer: stephen.m.diehl@gmail.com
synopsis: Utilities for symbolic predicate logic expressions
changelog: ''
basic-deps:
  base: ! '>=2 && <5'
  picosat: -any
  parsec: -any
  containers: -any
  mtl: -any
  pretty: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
author: Stephen Diehl
latest: '0.1.2'
description-type: haddock
description: ! '`picologic` provides symbolic logic expressions that can be integrated
  with the `picosat` solver.'
license-name: MIT

homepage: https://github.com/sdiehl/picologic
changelog-type: ''
hash: f720541b412088b912fa39e55f57ac7927c95bb42b14f8d426fa4b0a10557acf
test-bench-deps:
  base: ! '>=2 && <5'
  picologic: -any
  picosat: -any
  containers: -any
  mtl: -any
  QuickCheck: -any
  pretty: -any
maintainer: stephen.m.diehl@gmail.com
synopsis: Utilities for symbolic predicate logic expressions
changelog: ''
basic-deps:
  base: ! '>=4.6 && <4.10'
  picosat: ! '>=0.1 && <0.2'
  parsec: ! '>=3.1 && <3.2'
  containers: ! '>=0.5 && <0.6'
  mtl: ! '>=2.1 && <2.4'
  pretty: ! '>=1.1 && <1.2'
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
- '0.2.0'
author: Stephen Diehl
latest: '0.2.0'
description-type: haddock
description: ! '`picologic` provides symbolic logic expressions that can be integrated
  with the `picosat` solver.'
license-name: MIT

Update from Hackage at 2016-04-05T20:20:35+0000
Update from Hackage at 2016-04-05T20:20:35+0000
