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.

Downloading Vampire is temporarily unavailable. The new version 3.0 will be released soon and available from this page!