All Categories → No Category → decision-procedure

Top 3 decision-procedure open source projects

agda-presburger

Deciding Presburger arithmetic in agda

✭ 26

Agda agda formalization decision-procedure presburger-arithmetic

Lattice-based integer linear programming solver

✭ 60

C++TeX Scilab HTML c haskell solver linear-programming haskell-bindings ilp glpk decision-procedure lattice-reduction haskell-api ntl ilp-solver yices

A simple (unfinished) SMT solver for QF_ABV.

✭ 30

rust symbolic-execution smtlibv2 bitvector smt decision-procedure

1-3 of 3 decision-procedure projects