There are 8 repositories under smt-solver topic.
Code and exercises for a workshop on z3 and angr
Jupyter notebooks for tutorial on the Z3 SMT solver
The Eldarica model checker
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
KeY Theorem Prover for Deductive Java Verification
gradient-based symbolic execution engine implemented from scratch
An SMT Solver for string constraints
Kotlin/Java API for various SMT solvers
SMT solver for the theory of floating-point arithmetic
Intrepyd Model Checker
A bioinformatics tool for analyzing somatic hypermutation
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Writeup for Move CTF 2022 by MoveBit and others.
🔎 wheeler graph recognition algorithm, visualization and generation
The Cubicle model checker
Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.