GitHub topics: presburger-arithmetic
KiJeong-Lim/ppap
Project Putting All Power!
Language: Haskell - Size: 1.12 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 1
gallais/agda-presburger
Deciding Presburger arithmetic in agda
Language: Agda - Size: 155 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 32 - Forks: 3
triska/presprover
Prove formulas of Presburger Arithmetic
Language: Prolog - Size: 34.2 KB - Last synced at: 6 months ago - Pushed at: 11 months ago - Stars: 8 - Forks: 2
clayrat/preger
Presburger solver
Language: Idris - Size: 31.3 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
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
