PresMonDec

PresMonDec

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


Copyright © 2019 — 2022 Alexander Mayorov. All rights reserved.