SMT Solvers and SMT$-$LIB

How to solve $44$ sudoku?

Problem Statement

Given a set of $99$ sudoku puzzles, write the SMT$-$LIB code for solving at least two of them by following the terminology described below and your

code should generate the output similar to the sample output of $44($You can view the related article here$).$ Failure to align with the terminology or

the sample output will result in deduction of marks by the autograder.

Puzzle Set: