presburger: Cooper's decision procedure for Presburger arithmetic.
Cooper's decision procedure for Presburger arithmetic.
| Versions | 0.1, 0.2, 0.3 |
|---|---|
| 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 | Wed Apr 1 23:08:23 UTC 2009 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-6.10, ghc-6.12 |
| Distributions | Arch: 0.3 |
Modules
- Data
- Integer
Downloads
- presburger-0.3.tar.gz (Cabal source package)
- package description (included in the package)