Global best
Merge branch 'master' of https://github.com/ck1456/HPS_SAT
Restart logic implemented for GLSSolver
GLSSolver return fixed
Fixed thread stop problem.