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