ZeroBone/PresMonDec

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.

Language: Python - Size: 8.95 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1