Chapter 15:
Omega
: a solver of quantifier-free problems in Presburger Arithmetic
Pierre Crégut
15.1 Description of
Omega
15.2 Using
Omega
15.3 Technical data
15.4 Bugs