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
Dependenciesbase (==4.*), containers
LicenseBSD3
AuthorChristopher Rodrigues
Maintainercirodrig@illinois.edu
StabilityAlpha
CategoryData
Upload dateSun Mar 11 21:59:49 UTC 2012
Uploaded byChristopherRodrigues
Downloads429 total (57 in last 30 days)

Modules

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