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 (<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
UploadedFri Nov 15 23:27:55 UTC 2013 by IavorDiatchki
DistributionsLTSHaskell:1.3.1, NixOS:1.3.1, Stackage:1.3.1
Downloads1388 total (132 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