smt-solver topic
List
smt-solver repositories
gosat
25
Stars
8
Forks
Watchers
SMT solver for the theory of floating-point arithmetic
yices2
355
Stars
45
Forks
Watchers
The Yices SMT Solver
z3.rs
315
Stars
103
Forks
Watchers
Rust bindings for the Z3 solver.
yinyang
174
Stars
22
Forks
Watchers
A fuzzing framework for SMT solvers
z3_tutorial
146
Stars
19
Forks
Watchers
Jupyter notebooks for tutorial on the Z3 SMT solver
toysolver
152
Stars
11
Forks
Watchers
My sandbox for experimenting with solver algorithms.
go-z3
138
Stars
22
Forks
Watchers
Go (golang) bindings to the Z3 SMT Solver
z3_and_angr_binary_analysis_workshop
221
Stars
39
Forks
Watchers
Code and exercises for a workshop on z3 and angr
dreal4
145
Stars
30
Forks
Watchers
Automated Reasoning in Nonlinear Theories of Reals