Dolphin Project 0.1.1

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.5/5 - ‎2 ‎评分

Dolphin 项目旨在成为一个研究项目,用于聚合与开源可伸缩性解算器相关的工具,以及与它们相关的工具,如边界模型检查器和软件验证器。

版本历史记录

  • 版本 Dolphin%20SAT%200.1.1 发布于 2008-03-02
    若干修复和更新 {*}
  • 版本 Dolphin SAT 0.1.1 发布于 2008-03-02

软件信息