homepage: https://github.com/sdiehl/picologic
changelog-type: ''
hash: 1342d1e72247140b3ff45fe5b2ffeb4ce57d3597862f5e177060476dc440f1cf
test-bench-deps: {}
maintainer: stephen.m.diehl@gmail.com
synopsis: Utilities for symbolic predicate logic expressions
changelog: ''
basic-deps:
  base: ! '>=4.6 && <4.8'
  picosat: ! '>=0.1 && <0.2'
  parsec: ! '>=3.1 && <3.2'
  containers: ! '>=0.5 && <0.6'
  mtl: ! '>=2.1 && <2.2'
  pretty: ! '>=1.1 && <1.2'
all-versions:
- '0.1'
- '0.1.1'
author: Stephen Diehl
latest: '0.1.1'
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: 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

Update from Hackage at 2015-10-13T22:17:24+0000
Update from Hackage at 2015-10-13T22:17:24+0000
