Information
Last Update:2021/03/05

Official site

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

License

GPL v2 Email : richard.evans@york.ac.uk
Availability Binaries for MaxOS,Windows,Linux are available
Related App
Related keywords