The presburger package
Cooper's decision procedure for Presburger arithmetic.
Properties
| Versions | 0.1, 0.2, 0.3, 0.4 |
|---|---|
| Dependencies | base, containers, pretty |
| License | BSD3 |
| Author | Iavor S. Diatchki |
| Maintainer | diatchki@galois.com |
| Category | Algorithms |
| Home page | http://github.com/yav/presburger |
| Upload date | Tue Jan 13 21:19:02 UTC 2009 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-6.12 |
| Build failure | ghc-6.10 (log) |
Modules
- Data
- Integer
Downloads
- presburger-0.1.tar.gz (Cabal source package)
- package description (included in the package)