PresMonDec

Projects | 2022 | Links: GitHub

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences. Congruence relations are supported.