プログラム dolphin-project.sf.net

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