基本情報
Last Update:2021/03/05

公式サイト

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

ライセンス

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