随机局部搜索SAT解算器 不列颠哥伦比亚大学::BETA-实验室

2012年3月：

• UBCSAT网页已移动。现在位于：http://ubcsat.dtompkins.com
• UBCSAT的源现在托管在github上：https://github.com/dtompkins/ubcsat
• 如需帮助，请发送电子邮件至：ubcsat@googlegroups.com
• 有关公告和讨论，请加入谷歌群组：http://groups.google.com/group/ubcsat
  

我们将继续保持档案文件第页，共页UBCSAT在此网站上发布：

• 1.1.0版（海上到天空发布）
• 版本1.0.0（格劳斯山发布）

-戴夫·汤普金斯