Sudoku Solver Practice with Python, AWS Lambda, and SMT by creation and implementation of a Sudoku solver. In order to use the Lambda Solver, the Linux x86_64 library must be used.