The smtLib package
A library for working with the SMTLIB format.
Properties
| Versions | 1.0, 1.0.1, 1.0.2, 1.0.3 |
|---|---|
| Dependencies | base (<5), pretty |
| License | BSD3 |
| Author | Iavor S. Diatchki |
| Maintainer | iavor.diatchki@gmail.com |
| Category | SMT |
| Source repository | git clone git://github.com/yav/smtLib.git |
| Upload date | Tue Dec 20 07:41:37 UTC 2011 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-7.2 |
Modules
Downloads
- smtLib-1.0.1.tar.gz (Cabal source package)
- package description (included in the package)