hw2.scm contain the scheme code for Parts A and B
hw2-sudoku.scm contains the scheme code for Part C
hw2-proof.txt contains the proof for Part A