DeltaASP is an Answer Set Programming (ASP) delta debugger that can be used to automatically minimize failure-inducing inputs. In particular, it is useful for developers of highly optimized answer set solvers.

See the README for more information and a mini tutorial.


deltaasp-0.1.tar.bz2 ]


We use the GPL license version 3. The license can be found in the file COPYING which comes with the tool.