Chapter 16: Omega: a solver of quantifier-free problems in Presburger Arithmetic

• 16.1 Description of Omega
• 16.2 Using Omega
• 16.3 Technical data
• 16.4 Bugs