Winston-Chan/CPSC449 — pull request #18 by niode (2013-10-14 06:53:07+00:00)
Title: Cleaned up Solver so it will be easier to debug.

Fixed potential bug in setupRoot.