资 源 简 介
QBFuzz
is a grammar-based black box fuzzer for generating random Quantified Boolean Formulas (QBF) in QDIMACS format. Further, it may also be used for generating random CNF formulas in DIMACS format.
QBFuzz is known to support any operating system running Python 3.0 or later.