New 2013 release supports QDIMACS as well as option fuzzing and delta debugging.
The tool suite CNFuzzDD contains a simple CNF fuzzer which produces layered CNFs. It also has both a sequential and a multithreaded delta debugger.
CNFuzzDD is released under GNU GPLv3. See also file COPYING that is part of the distribution.