-----------------------------------------------------------------------
 Omega: a solver for quantifier-free problems in Presburger Arithmetic
-----------------------------------------------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/omega.html
:Converted by: Maxime Dénès