The Omega Calculator and Library, version 1.00

Wayne Kelly, Vadim Maslov, William Pugh,
Evan Rosser, Tatiana Shpeisman, Dave Wonnacott

• 1 Introduction
• 2 Omega Calculator invocation, syntax and semantics
• 3 Relational Expression syntax and semantics
  • 3.1 Relations
  • 3.2 Presburger formula operations
  • 3.3 Constraints and arithmetic and comparison operations
  • 3.4 Relational and set operations
• 4 Code Generation
• 5 Presburger Arithmetic with Uninterpreted Function Symbols
  • 5.1 Current limitations
• References
• About this document ...