homepage: ''
changelog-type: ''
hash: 713a552ad72d44c3a27768acbea550c112446249788d1ee97182c75f59c1b061
test-bench-deps: {}
maintainer: guenther@forsyte.at
synopsis: Helper functions to create SMTLib expressions in QuickCheck
changelog: ''
basic-deps:
  smtlib2: ! '>=1.0 && <1.1'
  dependent-sum: -any
  base: ! '>=4 && <5'
  dependent-map: -any
  containers: -any
  mtl: -any
  QuickCheck: -any
all-versions:
- '1.0'
author: Henning Günther <guenther@forsyte.at>
latest: '1.0'
description-type: haddock
description: ''
license-name: GPL-3

Update from Hackage at 2017-01-06T14:07:03Z
Update from Hackage at 2017-01-06T14:07:03Z
