首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > Python > 用于量化布尔公式求解器的增量调试器

用于量化布尔公式求解器的增量调试器

资 源 简 介

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

文 件 列 表

README
COPYING
qbfdd.py

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP