introduce new term type for null values (anonymous individuals), experiments with existential quantifier
Greedy heuristics fine tuning
fix TestPlugin
cleanup in G&C mg
fix a bug in ClaspSolver
fix a comment
Merge branch 'master' of github.com:hexhex/core
fix a comment
Merge branch 'master' into ps
fixing build if CXX contains spaces
fixing make check with new ModelBuilderConfig