decision-procedure

There are 10 repositories under decision-procedure topic.

GaloisInc/blt
Lattice-based integer linear programming solver
Language:C++65 40 210
Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
Language:Rust35 5 155
gallais/agda-presburger
Deciding Presburger arithmetic in agda
Language:Agda31 7 13
gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
Language:Lean8 1 00
TDacik/Astral
Decision procedure for strong-separation logic
Language:OCaml4 1 01
benjaminfjones/presburger
WIP - Library for efficient Presburger Arithmetic
Language:Rust3 3 01
tfiedor/gaston
Novel decision procedure for WS1S logic
Language:C++2 2 22
bhusalb/DiPAut
DiPAut is a software tool built in Python that checks the differential privacy of online randomized algorithms. It computes a bound "d" for the weight of the automaton, ensuring differential privacy for all privacy budgets "ε".
Language:Python0 1 00
farif/BEACON
Language:Python0 1 00
farif/SMTSudoku
Language:Python0 1 00