Sudoku as CSP Written on python3. Solution is Backtracking search with Forward Checking and MRV as heuristic. python3 Solver.py 1000sudokus.txt solutions.txt