The Omega package

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

Properties

Versions	0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.2.1, 0.2.2, 1.0
Dependencies	base (3.*), containers
License	BSD3
Author	Christopher Rodrigues
Maintainer	cirodrig@illinois.edu
Stability	Alpha
Category	Data
Upload date	Wed Jul 1 02:40:57 UTC 2009
Uploaded by	ChristopherRodrigues
Build failure	ghc-6.10 (log), ghc-6.12 (log)

Modules

Data
- Presburger
  - Omega
    - Data.Presburger.Omega.Expr
    - Data.Presburger.Omega.LowLevel
    - Data.Presburger.Omega.Rel
    - Data.Presburger.Omega.Set

Downloads

Omega-0.1.3.tar.gz (Cabal source package)
package description (included in the package)