Source code for sudoku solver (using miniSAT) is in file minisatSolver.py.
Input the sudoku in the input file named 'enter.txt'.
Execute python3 minisatSolver.py in terminal.
Solution will be printed in the terminal.
Source code for generating minimal sudoku is in minimal_sudoku_generator.py. Execute python3 minimal_sudoku_generator.py in the terminal. Required sudoku will be printed in 'solution.txt'. A few new text files will be created automatically the first time we run the code.