The Omega Test

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

• Eliminate Existentially Quantified Variables
• Verify the Existence of Solutions
• Remove Redundant Constraints
• Verify Implications
• Simplify Formulas Involving Negation
• Related Work

Web Accessibility