homepage: ''
changelog-type: ''
hash: a096b7093b7398c29df80d8ae6f83ba4e4e41c24eee3cb5b8e1f01be31a6060e
test-bench-deps:
  tasty-smallcheck: ! '>=0.8'
  base: ! '>=4.11 && <5'
  criterion: ! '>=1.4.1'
  smallcheck: ! '>=1.1.4'
  smt: -any
  tasty: ! '>=1.0'
maintainer: strake888@gmail.com
synopsis: Interface to Satisfiability Modulo Theories solvers
changelog: ''
basic-deps:
  base-unicode-symbols: -any
  base: ! '>=4.7 && <5'
  util: -any
all-versions:
- 0.0.0.0
author: M Farkas-Dyck
latest: 0.0.0.0
description-type: markdown
description: |
  # smt
license-name: BSD-3-Clause

Update from Hackage at 2019-10-02T23:05:21Z
Update from Hackage at 2019-10-02T23:05:21Z
