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