some improvements in ClaspSolver
fix a bug in liberal safety grounder
add a comment
some simplifcations in ClaspSolver
fix a bug
add setup project
fix a bug
Merge branch 'master' of https://github.com/hexhex/core
fix a bug