[ 下载 |出版物 |会谈 |许可证 ]

QBFDD是量化布尔公式（QBF）的增量调试程序在里面QDIMACS格式.给定一个有缺陷的QBF解算器S和一个公式F，其中S在F上失败（例如。崩溃、断言失败…）。QBFDD迭代删除子句和F中的文字，以获得更小的公式F'，而保留F’上S的错误行为。最小化过程当无法进一步简化时终止。公式F'然后可以用于调试解算器S。QBFDD是可配置的，并且提供了各种最小化策略。与结合时起毛，QBFDD可以有效用于QBF解算器的自动测试。另请参阅README文件了解更多信息

你可能也对QBFuzz公司，用于生成的模糊器随机QBF。

下载

出版物

Robert Brummayer、Florian Lonsing、Armin Biere。自动化SAT和QBF求解器的测试和调试.英寸程序。第13届国际会议。论理论与应用满意度测试（SAT’10）,计算机讲义科学（LNCS）第6175卷，第44-57页，施普林格出版社，2010年。
[纸张|围巾]

谈话幻灯片

自动化SAT和QBF求解器的测试和调试2010年国家税务总局，英国苏格兰爱丁堡。

许可证

QBFDD由Aina Niemetz作为学士项目开发。它是根据发布GNU（全球导航单元）GPLv3级。另请参阅文件COPYING，它是分配。