GLSSolver solve2 fixed
Merge branch 'master' of https://github.com/genghis88/HPS_SAT

Conf