新建yQuaffle解算器021006版的新错误修复版本已释放。 维护人员：Yinlei Yu（yyu_AT princeton_Dot edu） Quaffle餐厅源代码可用。
Quaffle是一个实验性QBF解算器。这个解算器的思想是在以下两篇论文中进行了描述：
L.Zhang和S.Malik，“走向冲突和量化布尔可满足性求解器中的满意度”，论文集第八届国际原则与实践会议约束编程（CP2002）。纽约州伊萨卡，2002年9月。[PDF]（PDF格式）
L.Zhang和S.Malik，“量化冲突驱动学习布尔可满足性求解器”，《国际会议论文集》计算机辅助设计（ICCAD2002），加利福尼亚州圣何塞，2002年11月。[PDF]（PDF格式）
Quaffle的源代码可供下载在这里请阅读每个文件顶部的许可协议。该代码是实验性的，仅用于算法评估。它应该使用g++在大多数Unix/Linux机器下编译。
Quaffle与其他两种先进QBF的运行时比较解算器魁北克和Semprop公司可用在这里.基准来自QBF库. The实验在带有1133Mhz PIII的Dell PowerEdge 1500sc上进行CPU和1G内存。超时限制为600秒。 |