基本情報

公式サイト

http://www-users.york.ac.uk/~rfle500/research/vampire/

ライセンス

GPL v2

Email : richard.evans@york.ac.uk

利用環境

MaxOS,Windows,Linux用のバイナリあり

関連アプリ
関連キーワード