The bindings-yices package
Properties
| Versions | 0.1, 0.2 |
|---|---|
| Dependencies | base (>3 & <5) |
| License | PublicDomain |
| Author | Jose Iborra |
| Maintainer | pepeiborra@gmail.com |
| Stability | Experimental |
| Category | Foreign, FFI, Theorem Provers |
| Upload date | Wed Jun 2 18:05:55 UTC 2010 |
| Uploaded by | PepeIborra |
| Build failure | ghc-6.12 (log), ghc-7.0 (log) |
Modules
- Bindings
- Bindings.Yices
- Bindings.Yices.Internal
- Bindings.Yices
Downloads
- bindings-yices-0.2.tar.gz (Cabal source package)
- package description (included in the package)