Module Omega_plugin.Coq_omega

val omega_solver : unit Proofview.tactic