Cleaned up Solver so it will be easier to debug. Fixed a potential bug in setupRoot.
Merge pull request #18 from Winston-Chan/nathan

Cleaned up Solver so it will be easier to debug.