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

[  news | download | overview | license ]

CNFuzzDD

News

New 2013 release supports QDIMACS as well as option fuzzing and delta debugging.

Download

[ cnfuzzdd2013.zip |  cnfuzzdd2009.zip ]

Overview

The tool suite CNFuzzDD contains a simple CNF fuzzer which produces layered CNFs. It also has both a sequential and a multithreaded delta debugger.

See also our SAT'10 and TAP'13 papers.

License

CNFuzzDD is released under GNU GPLv3. See also file COPYING that is part of the distribution.