Source : Free On-Line Dictionary of Computing

Omega test
     
        The Omega test is a system written by William Pugh
         and others for performing symbolic
        manipulations of {conjunction}s of {linear constraint}s 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: .
     
        (1992-11-13)