z3 topic
List
z3 repositories
nikoli-puzzle-solver
25
Stars
3
Forks
Watchers
Solver for over 100 types of Nikoli-style logic puzzles
gauntlet
35
Stars
3
Forks
Watchers
Finding bugs in P4 compilers using translation validation.
move_ctf_writeup
18
Stars
1
Forks
Watchers
Writeup for Move CTF 2022 by MoveBit and others.
sematrope
17
Stars
1
Forks
Watchers
Superoptimizer using the z3 SMT solver
axiom-profiler-2
16
Stars
3
Forks
Watchers
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).