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
LicenseBSD3
AuthorIavor S. Diatchki
Maintainerdiatchki@galois.com
CategoryAlgorithms
Home pagehttp://github.com/yav/presburger
Source repositoryhead: git clone git://github.com/yav/presburger.git
UploadedSat Dec 28 02:34:24 UTC 2013 by IavorDiatchki
UpdatedThu May 28 08:14:41 UTC 2015 by AdamBergmark to revision 1
DistributionsLTSHaskell:1.3.1, NixOS:1.3.1, Stackage:1.3.1
Downloads1409 total (125 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees