基本情報

公式サイト

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

ライセンス

GPL v2 Email : richard.evans@york.ac.uk
利用環境 MaxOS,Windows,Linux用のバイナリあり
関連アプリ
関連キーワード