RSat主页

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版的源代码和可执行文件已经发布。