Updated package to nest properly.
Merge branch 'master' of https://github.com/ck1456/HPS_SAT
Restart logic implemented for GLSSolver