Z3 Python CTF

Solving various CTF challenges using Z3 in Python.

Intro

• Z3 Basics

• Z3 Advanced

• Cheatsheet

Examples

• Sonda

• Lock code

• Custom Crypto

• MathGenMe

• server

• sweet