Omega test definition
The Omega test is a system written by William Pugh email@example.com
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
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: .