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