#Simple sudoku solver using z3 Credit goes to @wanderingglitch for the actual_answer and tutorial scripts