Merge branch 'master' of https://github.com/ck1456/HPS_SAT
Merge branch 'master' of https://github.com/ck1456/HPS_SAT
Updated package to nest properly.