Dolphin Project 0.1.1

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.5/5 - ‎2 ‎投票

に関しては Dolphin Project

Dolphinプロジェクトは、オープンソースのサティスフィアビリティソルバーツールとそれらに関連するツール(有限モデルチェッカーやソフトウェア検証ツールなど)に関連するツールを集約する研究プロジェクトを目的としています。