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, process |
| License | BSD3 |
| Author | Iavor S. Diatchki |
| Maintainer | iavor.diatchki@gmail.com |
| Category | SMT |
| Source repository | git clone git://github.com/yav/smtLib.git |
| Executables | smtLib-test-2, smtLib-test-1 |
| Upload date | Mon Dec 19 22:29:12 UTC 2011 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-7.4 |
| Build failure | ghc-7.2 (log) |
Modules
Downloads
- smtLib-1.0.tar.gz (Cabal source package)
- package description (included in the package)