RSat是一个完整的布尔可满足性求解器,具有用于模型计数和知识编译等应用程序的详尽搜索界面。RSat使用了一种旨在减少重复工作的阶段选择启发式方法频繁重启策略。有关RSat的完整描述,请参阅文件.
RSat赢得了2007年SAT竞赛在工业类别中。上一版本的RSat也在年获得了第三名2006年SAT等级.
RSat由加州大学洛杉矶分校开发自动推理组.
新闻和公告
2007年11月9日:2.02测试版发布。这个版本有一个用于增量SAT和指定变量部分顺序的接口。
2007年6月25日:RSat 2.01的源代码中添加了用于彻底搜索的递归式界面。
2007年6月10日:RSat 2.01和2.00版的源代码和可执行文件已经发布。
|