presburger-arithmetic

There are 6 repositories under presburger-arithmetic topic.

gallais/agda-presburger
Deciding Presburger arithmetic in agda
Language:Agda31 7 13
triska/presprover
Prove formulas of Presburger Arithmetic
Language:Prolog7 5 02
KiJeong-Lim/ppap
Project Putting All Power!
Language:Haskell4 1 21
clayrat/preger
Presburger solver
Language:Idris3 4 0
ZeroBone/PresMonDec
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
Language:Python1 3 01
eionblanc/sine-presburger
Computations and visualizations for Presburger arithmetic extended by the sine function.
Language:Jupyter Notebook0 1 00