The latest version of Omega is 1.0.3-0.
Omega
Version 0.1.1 revision 0 uploaded by ChristopherRodrigues.
Package meta
- Synopsis
- Operations on Presburger arithmetic formulae
- Description
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. The Omega library (http://github.com/davewathaverford/the-omega-project) must be installed to build this package.
- Author
- Christopher Rodrigues
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- cirodrig@illinois.edu
- Package URL
- n/a
- Stability
- Alpha