JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  download | license ]

DeltaASP

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.

Download

[ deltaasp-0.1.tar.bz2 ]

License

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