homepage: ''
changelog-type: ''
hash: 75f8a394aec8be1890bafa13d084369b105d4ab5d84c045f7279c79611ec0f9f
test-bench-deps: {}
maintainer: guenther@forsyte.at
synopsis: Get timing informations for SMT queries
changelog: ''
basic-deps:
  smtlib2: ! '>=1.0 && <1.1'
  dependent-sum: -any
  base: ! '>=4 && <5'
  time: -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-07T17:33:18Z
Update from Hackage at 2017-01-07T17:33:18Z
