Updated evaluator from Venu.
Merge branch 'master' of https://github.com/genghis88/HPS_SAT
Added TimedSolutionSolver to make sure we output the best possible solution in the time allotted.
Merge branch 'master' of https://github.com/ck1456/HPS_SAT
Merge branch 'master' of https://github.com/genghis88/HPS_SAT
Merge branch 'master' of https://github.com/ck1456/HPS_SAT