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