The smt-lib package
SMT-LIB is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.
Properties
| Versions | 0.0.0, 0.0.1, 0.0.2 |
|---|---|
| Dependencies | array (0.3.*), base (≥4.0 & <5.0), directory (1.0.*), polyparse (≥1.4) |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Language |
| Home page | http://tomahawkins.org |
| Source repository | git clone git://github.com/tomahawkins/smt-lib.git |
| Upload date | Mon Jul 19 01:24:29 UTC 2010 |
| Uploaded by | TomHawkins |
| Built on | ghc-6.12, ghc-7.0 |
Modules
Downloads
- smt-lib-0.0.2.tar.gz (Cabal source package)
- package description (included in the package)