This page is kept for historic reasons. Please use up-to-date tools from potassco.

The nomore++ system

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.

Downloads

The nomorepro system

nomorepro is the predecessor of nomore++ and is implemented in prolog.

nomorepro uses lparse as grounder.

Downloads

The nomorepref system

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.

Downloads