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.
We use the GPL license version 3. The license can be found in the file COPYING which comes with the tool.