Fixed the tree search to accurately traverse and find solution
Merge branch 'master' of https://github.com/crmaykish/Sudoku-Solver-with-Yices