Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.7 On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic non linear presburger arithmetic variable bounded expansions https://rocq-prover.org/doc/v8.10/refman/addendum/omega.html Omega: a solver for quantifier-free problems in Presburger Arithmetic — Coq 8.10.2 documentation presburger arithmetic omega solver quantifier free