Software
bmtool-
This is a tool which aides systematic benchmarking and
postprocessing and prettyprinting the results.
sudokusolver-
Computes solutions for 9x9 Sudokus with ASCII in- and
output, using DLV as
a back-end.
prefASP-
Simple script to compute preferred extensions of abstract
argumentation frameworks using weak constraints of ASP.
DLV-
A state-of-the-art ASP system.
Setest-
The first non-ground strong equivalence tester for ASP; co-supervised student work.
DLV^K GUI-
A graphical user interface to DLV^K; co-supervised
student work.