Commit lab assignment 1 - sudoku solver via prop. logic.
Commit lab assignment 2 - quantified pred. formula solver.
Minor cleanup.