README

   1
   2 Omega Project Source Release, version 1.1
   3
   4 This is verions 1.1 of the Omega Project software, including:
   5     * The Omega library, a set of routines for manipulating linear constraints
   6             over integer variables,  Presburger formulas, and Integer tuple
   7             relations and sets.
   8     * The code generation library, a set of routines for generating code to
   9             scan the points in the union of a number of convex sets.
  10     * The Omega calculator, a text-based interface to the Omega library
  11     * Petit, a educational/research tool for analyzing array data dependences
  12     * The Uniform library, a source to source parallelizing transformation
  13       system, described in Wayne Kelly's Ph.D. dissertation.
  14
  15 Some new or recent features:
  16     * The Uniform library
  17     * An exact convex hull computation
  18     * An improved system for handling inexact relations, including taking
  19       upper and lower bounds, checking for subsets, and checking tautologies
  20     * Better handling of existentially quantified variables: we can now
  21       negate and generate code for sets like:
  22             {[i] : 1 <= i <= n && exists (alpha :  i <= 10 alpha <= i+k)};
  23     * An Example operator, that gives a sample solution to set or relation.
  24
  25
  26 Users with code that uses previous versions of the Omega library may
  27 need to make some changes to their code in order to comply with the new
  28 functions for checking subsets, satisfiability, and tautologies.
  29
  30 As usual, the Omega Project is located at
  31         http://www.cs.umd.edu/projects/omega
  32         mailto:omega@cs.umd.edu
  33         ftp://ftp.cs.umd.edu/pub/omega