My SMT Projects using Z3

1. Sudoku solver

Solves any level sudoku README

Solves 8 queen problem using Z3, extended to n-queen problem. README

Solving a challenge which i encountered in a CTF, i don't remembers exactly which. README

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
queen_problem		queen_problem
simple_ctf_challenge		simple_ctf_challenge
sudoku		sudoku
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md