The nomore++ System

nomore++ is a new answer set solver, having its roots in the noMoRe system. nomore++ pursues a hybrid approach in combining features from literal-based approaches, like smodels and dlv, with the rule-based approach of its predecessor noMoRe. To this end, it treats heads and bodies equitably as computational objects. Accordingly, nomore++'s principal data structure is a body-head dependency graph.