My SMT Projects using Z3
1. Sudoku solver
Solves any level sudoku
README
2. Queen Problem
Solves 8 queen problem using Z3, extended to n-queen problem.
README
3. A Simple CTF challenge
Solving a challenge which i encountered in a CTF, i don't remembers exactly which.
README