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 | Thu Mar 26 23:09:53 UTC 2009 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-6.10, ghc-6.12 |
Modules
- Data
- Integer
Downloads
- presburger-0.2.tar.gz (Cabal source package)
- package description (included in the package)