High performance automated theorem prover.

WWW: https://github.com/vprover/vampire
