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.