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