Software
- Our
Benchmark Generator provides benchmarks for answer set programming.
(The older Prolog
version includes benchmarks for logic programs with
preferences.)
- nomore<
is a C++ implementation for computing preferred answer set, where preference
information is integrated in the solver.
- GCplp
is a more verbally designed Prolog implementation of the nomore< system.
- noMoRe
is an answer set solver implemented in Prolog and the predecessor of the
nomore++ system
- GCasp
is a verbally Prolog version of a system computing answer sets based on an
operational charcterization.
