#Z3

trailofbits

manticore

Symbolic execution tool

DebarghaG

proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

kokjo

universalrop

Small tool for generating ropchains using unicorn and z3

philzook58

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

obijywk

grilops

a GRId LOgic Puzzle Solver library

ViRb3

z3-python-ctf

🐍 Solving CTF challenges using Z3 and Python

cool-japan

oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

saruman9

move_ctf_writeup

Writeup for Move CTF 2022 by MoveBit and others.