COSC 76, Fall 2020, PA-5, Edmund Aduse Poku

README FILE

Unzip the provided zip file and put all the necessary modules in one project folder. The modules needed are GSAT.py, SAT.py, and all the given files in the assignment.
Open the solve_sodoku.py file and, on the line that creates the solver object, set the solver module to use: GSATSAT(sys.argv[1]) means that when the file is executed at the command prompt the GSAT solver module should be used. SAT(sys.argv[1]) indicates that the SAT solver module should be used.
Now, open a terminal and run the following commmand to solve the input cnf using the set solver module: "python3 ./solve_sudoku.py "

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
__pycache__		__pycache__
Archive.zip		Archive.zip
GSAT.py		GSAT.py
README.md		README.md
README.pdf		README.pdf
SAT.py		SAT.py
Sudoku.py		Sudoku.py
all_cells.cnf		all_cells.cnf
all_cells.cnf.sol		all_cells.cnf.sol
all_cells.sol		all_cells.sol
display.py		display.py
one_cell.cnf		one_cell.cnf
one_cell.cnf.sol		one_cell.cnf.sol
one_cell.sol		one_cell.sol
pa-5.pdf		pa-5.pdf
puzzle1.cnf		puzzle1.cnf
puzzle1.sud		puzzle1.sud
puzzle2.cnf		puzzle2.cnf
puzzle2.sud		puzzle2.sud
puzzle_bonus.cnf		puzzle_bonus.cnf
puzzle_bonus.sud		puzzle_bonus.sud
rows.cnf		rows.cnf
rows.sol		rows.sol
rows_and_cols.cnf		rows_and_cols.cnf
rules.cnf		rules.cnf
solve_sudoku.py		solve_sudoku.py
solve_sudoku.sh		solve_sudoku.sh
sudoku2cnf.py		sudoku2cnf.py
test-results.pdf		test-results.pdf
test-results.txt		test-results.txt