Assignment clone function implemented
GLSSolver changed local search
Merge branch 'master' of https://github.com/genghis88/HPS_SAT