糠Chaff SAT解算器是一种最先进的布尔可满足性解算器，旨在提高健壮性和效率。它具有高度优化的演绎引擎，是VSIDS决策策略的先驱。
在SAT 2004竞赛，我们的解算器zChaff成为行业基准中的最佳完整解算器类别（以及行业不可满足的基准类别）。它也是授予2002年SAT竞赛作为最佳完整解算器在工业和手工基准类别中。
目前我们有两个Chaff SAT Solver发行版。[这些解算器已提供照原样无任何担保。]
Quaffle餐厅Quaffle是一个实验性QBF解决方案，它结合了冲突和满意度驱动的学习和回溯。它由维护余银蕾
有关特定的求解器相关问题，请联系相应求解器的作者。 |