@hackage smtLib1.0

A library for working with the SMTLIB format.

Categories
License
BSD-3-Clause
Maintainer
iavor.diatchki@gmail.com
Links
Versions
- 1.1 Thu, 10 Jan 2019
- 1.0.9 Mon, 30 Apr 2018
- 1.0.8 Mon, 9 May 2016
- 1.0.7 Fri, 28 Aug 2015
- 1.0.6 Fri, 28 Aug 2015
- 1.0.5 Fri, 28 Aug 2015

Installation
In your cabal file:
Dependencies (2)
- base <5
- pretty
Dependents (3)
@hackage/cryptol, @hackage/acme-everything, @hackage/Hsmtlib

A library for working with the SMTLIB format.