Information

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