Dolphin 项目旨在成为一个研究项目，用于聚合与开源可伸缩性解算器相关的工具，以及与它们相关的工具，如边界模型检查器和软件验证器。
版本历史记录
- 版本 Dolphin%20SAT%200.1.1 发布于 2008-03-02
若干修复和更新 {*} - 版本 Dolphin SAT 0.1.1 发布于 2008-03-02
软件信息
- 软件分类： 教育 > 其他
- 发布者： dolphin-project.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 0.1.1
- 适用平台： windows
Dolphin 项目旨在成为一个研究项目，用于聚合与开源可伸缩性解算器相关的工具，以及与它们相关的工具，如边界模型检查器和软件验证器。