Commit lab assignment 1 - sudoku solver via prop. logic.
Clean up assignment 1 and prepare it for submission.
Commit lab assignment 2 - quantified pred. formula solver.
Minor cleanup.