z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

If you have such examples, practical or not, feel free to contact me to add them ; would be cool to compile a list of relevant scripts :)!

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
essentials		essentials
README.md		README.md
einstein_riddle_z3.py		einstein_riddle_z3.py
got_overwrite_offset_z3.py		got_overwrite_offset_z3.py
graph_coloring_z3_example_fat_graph.gv		graph_coloring_z3_example_fat_graph.gv
graph_optimization_z3.py		graph_optimization_z3.py
hackingweek-reverse400_z3.py		hackingweek-reverse400_z3.py
hash_collisions_z3.py		hash_collisions_z3.py
magic_square_z3.py		magic_square_z3.py
mini_mips_symexec_engine.py		mini_mips_symexec_engine.py
mojette_z3.py		mojette_z3.py
nqueens_z3.py		nqueens_z3.py
optimize_rop_add_gadgets_z3.py		optimize_rop_add_gadgets_z3.py
proof_unsigned_integer_overflow_chech.py		proof_unsigned_integer_overflow_chech.py
solve_nsc2014_step1_z3.py		solve_nsc2014_step1_z3.py
tiny_symbolic_execution_engine_z3.py		tiny_symbolic_execution_engine_z3.py
z3tools.py		z3tools.py
z3topy.py		z3topy.py

Provide feedback