The Yices SMT Solver
The efficient SMT-based context-bounded model checker (ESBMC)
Code and exercises for a workshop on z3 and angr
A fuzzing framework for SMT solvers
My sandbox for experimenting with solver algorithms.
Jupyter notebooks for tutorial on the Z3 SMT solver
Automated Reasoning in Nonlinear Theories of Reals
A modular sat/smt solver with proof output.
Agda bindings to SMT-LIB2 compatible solvers.
The Eldarica model checker
Counter-example guided inductive synthesis (CEGIS) implementation for th...
gradient-based symbolic execution engine implemented from scratch
An SMT Solver for string constraints