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
UploadedTue Mar 24 20:55:09 UTC 2015 by IavorDiatchki
DistributionsLTSHaskell:1.3.1, NixOS:1.3.1, Stackage:1.3.1
Downloads1398 total (115 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