| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/cnfuzzdd/
vary: Origin
x-request-id: 01KF49AJX5Z1A5M542STMRBTT8
content-length: 45
date: Fri, 16 Jan 2026 20:53:06 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Fri, 16 Jan 2026 22:03:06 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KF49AK27GJPFMKVFJ49NX0TR
content-length: 6282
date: Fri, 16 Jan 2026 20:53:06 GMT
CNFuzzDD
|
team
|
[ news | download | overview | license ] CNFuzzDDNewsNew 2013 release supports QDIMACS as well as option fuzzing and delta debugging. Download[ cnfuzzdd2013.zip | cnfuzzdd2009.zip ] OverviewThe 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. LicenseCNFuzzDD is released under GNU GPLv3. See also file COPYING that is part of the distribution. |
