Downloads

The binaries of the new Vampire can be downloaded and used under the terms of the Vampire License:

• Linux 32-bit binaries
• Linux 64-bit binaries
• MacOS binaries
• Windows binaries

The procedure to obtain a Vampire executable is the following.

1. You should fill out the form below and agree to our licence.
2. An email will be sent to the email address you specify on the form. It will contain a link to the Vampire binaries downloads.
3. You will be able to download the binaries by clicking on the link.

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.

The form

To use Vampire binaries, you should fill out the following form and agree to our licence. Click here to view the licence. All fields are mandatory.