资 源 简 介
QBFDD
is a delta debugger (here: input minimizer) for Solvers failing on a given Quantified Boolean Formula (QBF) in QDIMACS format.
Extracts a subformula of a given input formula such that no further simplifications under current configuration - while preserving the solver"s original behaviour - are possible.
QBFDD is especially effective when used for automated testing in combination with fuzzing (see QBFuzz).
QBFDD supports various configurations and minimzation strategies and is currently known to support Linux (and possibly all other *nix-OS) running Python 3.0 or later.
Quick Links
Download current version (1.2.2)
Documentation
