The binaries of the new Vampire can be downloaded and used under the terms of the Vampire License:
The procedure to obtain a Vampire executable is the following.
If you do not receive a letter from us for a long time, please check your spam folder. The letter should come from a vampire.org email address.
Downloading Vampire is temporarily unavailable. The new version 3.0 will be released soon and available from this page!