Cabal-Version: >= 1.2.3 && < 1.9 Name: Omega Version: 0.2.1 Build-Type: Custom License: BSD3 License-File: LICENSE Author: Christopher Rodrigues Maintainer: cirodrig@illinois.edu Stability: Alpha 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". Category: Data Extra-Source-Files: README aclocal.m4 configure.ac Makefile.in src/C_omega.cc src/C_omega.h src/the-omega-project.tar.gz Extra-Tmp-Files: build/C_omega.o Flag UseInstalledOmega Description: Link to a preinstalled version of the Omega library Default: False Library Build-Depends: base >= 3 && < 4, containers Exposed-Modules: Data.Presburger.Omega.Expr Data.Presburger.Omega.LowLevel Data.Presburger.Omega.Set Data.Presburger.Omega.Rel Other-Modules: Data.Presburger.Omega.SetRel Extensions: GADTs ScopedTypeVariables Build-Tools: hsc2hs Include-Dirs: src if flag(UseInstalledOmega) Extra-Libraries: omega stdc++ else Extra-Libraries: stdc++