Symbolic execution tool

• UpdatedSep 15, 2023
• Python

An analysis tool for Python that blurs the line between testing and type systems.

• UpdatedMar 17, 2025
• Python

Verification framework and tool for higher-order Scala programs

• UpdatedMar 19, 2025
• Scala

Constraint solver based on coverage-guided fuzzing

• UpdatedNov 28, 2023
• C++

Code and exercises for a workshop on z3 and angr

• UpdatedDec 29, 2020
• Python

Small tool for generating ropchains using unicorn and z3

• UpdatedFeb 22, 2018
• Python

A fuzzing framework for SMT solvers

• UpdatedJul 27, 2023
• Python

Jupyter notebooks for tutorial on the Z3 SMT solver

• UpdatedNov 3, 2023
• Jupyter Notebook

Using z3's never been easier (maybe)

• UpdatedJan 26, 2022
• Python

Automated Schedule Generation for Time-Sensitive Networks (TSN).

• UpdatedJun 29, 2023
• Java

a GRId LOgic Puzzle Solver library

• UpdatedNov 19, 2023
• Python

Haskell bindings to Microsoft's Z3 API (unofficial).

• UpdatedMar 5, 2024
• Haskell

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.

• UpdatedAug 17, 2019

🐍 Solving CTF challenges using Z3 and Python

• UpdatedJun 14, 2023
• Python

A compiler for automatically re-targeting sequential Java code to Apache Spark.

• UpdatedJun 15, 2023
• Java

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

• UpdatedJan 8, 2017
• C++

A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.

• UpdatedJun 14, 2023
• Dockerfile

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

• UpdatedDec 8, 2024
• Vim Script

LINQ bindings for the Z3 theorem prover from Microsoft Research.

• UpdatedNov 22, 2024
• C#

Finding bugs in P4 compilers using translation validation.

• UpdatedFeb 5, 2025
• P4