Python Sudoku Solver using Z3 SMT.
To use, please enter the Sudoku puzzle row by row. For each empty cell, usea a space " ", otherwise introduce the corresponding number.
The solution will be printed on the terminal. If the puzzle is Unsatisfiable, a message will appear.