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 |
Source: | https://coq.inria.fr/distrib/current/refman/omega.html |
---|---|
Converted by: | Maxime Dénès |