The Omega package

[Tags: bsd3, library]

This package provides tools for manipulating sets and relations whose members can be represented compactly as a Presburger arithmetic formula. Formulae are simplified and solved by the Omega Library. The primary interface can be found in Data.Presburger.Omega.Set and Data.Presburger.Omega.Rel.


Properties

Versions0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.2.1, 0.2.2, 1.0, 1.0.1, 1.0.2, 1.0.3
Dependenciesbase (==4.*), containers
LicenseBSD3
AuthorChristopher Rodrigues
Maintainercirodrig@illinois.edu
StabilityAlpha
CategoryData
UploadedSun Mar 11 21:59:49 UTC 2012 by ChristopherRodrigues
Downloads1053 total (65 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefault
useinstalledomegaLink to a preinstalled version of the Omega libraryDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees