SBSAT是辛辛那提大学师生开发和维护的基于州的满意度求解器。

SBSAT的最新版本可在此处下载：

sbsat-2.7b.tar.gz卫星（当前CVS版本-2009年6月14日）。

sbsat-2.5b-5.tar.gz卫星（测试版-2006年12月12日）。

SBSAT用户手册可在此处下载：

sbsat用户手册.pdf（进行中，上次更新时间为2007年1月8日）。

SBSAT用户手册的HTML版本可在此处浏览：

http://gauss.ececs.uc.edu/sbsat_user_manual/

SBSAT用作基于web的BDD可视化工具的后端，可在以下位置找到：

BDD可视化工具

以下是与SBSAT相关的一些出版物：

支持高效SAT搜索启发的功能完备的前瞻

SBSAT：基于状态、基于BDD的可满足性求解器