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.4 && <10), 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
UploadedTue Mar 24 20:55:09 UTC 2015 by IavorDiatchki
UpdatedThu May 28 08:11:53 UTC 2015 by AdamBergmark to revision 1
DistributionsLTSHaskell:1.3.1, NixOS:1.3.1, Stackage:1.3.1
Downloads1533 total (98 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-03-24 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees