@hackage smt-lib0.0.0

Parsing and printing SMT-LIB.

Categories
- Language
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 (2)
- base >=4.0 && <5.0
- polyparse >=1.4
Dependents (1)
@hackage/acme-everything

SMT-LIB (http:/goedel.cs.uiowa.edusmtlib/) is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.

@hackage smt-lib0.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (2)

Dependents (1)