@hackage smt-lib0.0.2

Parsing and printing SMT-LIB.

Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.0.2 Mon, 19 Jul 2010
- 0.0.1 Sat, 17 Jul 2010
- 0.0.0 Sun, 4 Jul 2010

Installation
In your cabal file:
Dependencies (4)
- array >=0.3 && <0.4
- base >=4.0 && <5.0
- directory >=1.0 && <1.1
- polyparse >=1.4
Dependents (1)
@hackage/acme-everything

SMT-LIB is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.