decision-procedure topic
List
decision-procedure repositories
blt
65
Stars
10
Forks
Watchers
Lattice-based integer linear programming solver
stevia
32
Stars
3
Forks
Watchers
A simple (unfinished) SMT solver for QF_ABV.
agda-presburger
31
Stars
3
Forks
Watchers
Deciding Presburger arithmetic in agda