omega test

from The Free On-line Dictionary of Computing (8 July 2008)

Omega test

   The Omega test is a system written by William Pugh
   <[email protected]> and others for performing symbolic
   manipulations of {conjunctions} of {linear constraints} over
   integer variables.  The Omega test dependence analyser is a
   system built on top of the Omega test to analyse {array} data
   dependences.

   Version 3.2.2 includes a fortran to tiny translator, a Tiny
   interpreter(?) and analysis tools.

   (ftp://ftp.cs.umd.edu/pub/omega).  E-mail: <[email protected]>.

   (1992-11-13)