GitHub topics: decision-procedure
benjaminfjones/presburger
WIP - Library for efficient Presburger Arithmetic
Language: Rust - Size: 76.2 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 3 - Forks: 1
Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
Language: Rust - Size: 1.38 MB - Last synced at: 4 days ago - Pushed at: about 6 years ago - Stars: 36 - Forks: 5
TDacik/Astral
Decision procedure for strong-separation logic
Language: OCaml - Size: 563 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 1
gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
Language: Lean - Size: 123 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
gallais/agda-presburger
Deciding Presburger arithmetic in agda
Language: Agda - Size: 155 KB - Last synced at: 26 days ago - Pushed at: about 2 years ago - Stars: 31 - Forks: 3
GaloisInc/blt
Lattice-based integer linear programming solver
Language: C++ - Size: 10.7 MB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 65 - Forks: 10
bhusalb/DiPAut
DiPAut is a tool that checks the well-formedness and privacy properties of DiPA A.
Language: Python - Size: 617 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
tfiedor/gaston
Novel decision procedure for WS1S logic
Language: C++ - Size: 38 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 2
