catflap.org Online Dictionary Query

  Omega test
       
          The Omega test is a system written by William Pugh
           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)" rel="nofollow">(ftp://ftp.cs.umd.edu/pub/omega).  E-mail: .
       
          (1992-11-13)