@hackage Omega1.0

Operations on Presburger arithmetic formulae

Categories
License
BSD-3-Clause
Maintainer
cirodrig@illinois.edu
Links
- Documentation
- No source repository
- Security
Versions
- 1.0.3 Sat, 3 May 2014
- 1.0.2 Thu, 1 May 2014
- 1.0.1 Sat, 19 Apr 2014
- 1.0 Sun, 11 Mar 2012
- 0.2.2 Sat, 30 Jan 2010
- 0.2.1 Wed, 2 Dec 2009

Installation
Custom
In your cabal file:
Dependencies (2)
- base >=4 && <5
- containers
Dependents (1)
@hackage/acme-everything

Package Flags

useinstalledomega

(off by default)

Link to a preinstalled version of the Omega 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.

@hackage Omega1.0

Categories

License

Maintainer

Links

Versions

InstallationCustom

Dependencies (2)

Dependents (1)

Package Flags

Installation
Custom