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 專案旨在成為一個研究專案,用於聚合與開源可伸縮性解算器相關的工具,以及與它們相關的工具,如邊界模型檢查器和軟體驗證器。