Next: Eliminate Existentially Quantified Up: Frameworks and Algorithms Previous: Static Analysis of

The Omega Test

The Omega test is a set of routines for manipulating linear constraints over integer variables. It supports several operations:



omega@cs.umd.edu