smt-lib topic
List
smt-lib repositories
yinyang
174
Stars
22
Forks
Watchers
A fuzzing framework for SMT solvers
touist
65
Stars
12
Forks
Watchers
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
dolmen
85
Stars
18
Forks
Watchers
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
princess
19
Stars
5
Forks
Watchers
The Princess Theorem Prover
Satisfiability.jl
34
Stars
5
Forks
Watchers
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.