This page is kept for historic reasons. Please use up-to-date tools from potassco.
nomore++ is a new answer set solver, having its roots in the prolog-based nomorepro system. It 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. It is implemented in C++.
nomore++ uses lparse as grounder.
nomorepro is the predecessor of nomore++ and is implemented in prolog.
nomorepro uses lparse as grounder.
nomorepref is an independent implementation of nomore in C++, which supports preferences.
nomorepro uses lparse as
grounder. It must be used with the
-d all option to keep domain predicates.