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