homepage: ''
changelog-type: ''
hash: cfe18fe5ddc3787a09b259b4c600e4955115aadd889791ef0b0d78f96166ee7e
test-bench-deps: {}
maintainer: guenther@forsyte.at
synopsis: Dump the communication with an SMT solver for debugging purposes.
changelog: ''
basic-deps:
  smtlib2: ! '>=1.0 && <1.1'
  dependent-sum: -any
  base: ! '>=4 && <5'
  text: -any
  dependent-map: ! '>=0.2'
  smtlib2-pipe: ! '>=1.0 && <1.1'
  containers: -any
  ansi-terminal: ! '>=0.5'
  atto-lisp: -any
  mtl: -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-05T21:12:34Z
Update from Hackage at 2017-01-05T21:12:34Z
