SAT SOLVER AND SUDOKU PAIR SOLVER This is a CS202 course project which taught us application of Logic for Computer Science by making us implement a SAT Solver and Sudoku Solver.