The presburger package
Cooper's decision procedure for Presburger arithmetic.
Properties
| Versions | 0.1, 0.2, 0.3, 0.4 |
|---|---|
| Dependencies | base (<10), containers, pretty |
| License | BSD3 |
| Author | Iavor S. Diatchki |
| Maintainer | diatchki@galois.com |
| Category | Algorithms |
| Home page | http://github.com/yav/presburger |
| Source repository | git clone git://github.com/yav/presburger.git |
| Upload date | Fri Oct 28 19:58:29 UTC 2011 |
| Uploaded by | IavorDiatchki |
| Built on | ghc-7.2 |
Modules
Downloads
- presburger-0.4.tar.gz (Cabal source package)
- package description (included in the package)