The presburger package

[Tags: bsd3, library]

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.

Properties

Versions0.1, 0.2, 0.3, 0.4, 1.0, 1.1, 1.2, 1.3, 1.3.1
Change logNone available
Dependenciesbase (>=4.5 && <4.8), containers, pretty [details]
LicenseBSD3
AuthorIavor S. Diatchki
Maintainerdiatchki@galois.com
CategoryAlgorithms
Home pagehttp://github.com/yav/presburger
Source repositoryhead: git clone git://github.com/yav/presburger.git
UploadedFri Nov 15 23:27:55 UTC 2013 by IavorDiatchki
UpdatedThu May 28 08:15:07 UTC 2015 by AdamBergmark to revision 1
DistributionsLTSHaskell:1.3.1, NixOS:1.3.1, Stackage:1.3.1
Downloads1598 total (104 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees