homepage: ''
changelog-type: ''
hash: e3b4b96433309b4cf5640f0f09fcec6541a210524b699f29f78e4047a2adba04
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Z3 bonds with pure interface
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  transformers: -any
  z3: -any
all-versions:
- '0.1.0.0'
author: M Farkas-Dyck
latest: '0.1.0.0'
description-type: markdown
description: ! '# ez3

'
license-name: BSD3

Update from Hackage at 2018-05-11T08:45:05Z
Update from Hackage at 2018-05-11T08:45:05Z
