Merge pull request #11 from Winston-Chan/nathan

Added additional checks to Solver for when the recursive call returns nu...
Solver.solve added to Main
Merge branch 'master' of https://github.com/Winston-Chan/CPSC449
Fixed the matches function
Merge remote-tracking branch 'origin/Daniel'
Merge pull request #12 from Winston-Chan/nathan

Aesthetic modifications to setupRoot.
Merge branch 'nathan' of https://github.com/Winston-Chan/CPSC449 into nathan