Download Vampire

There are multiple ways to install vampire, depending on which operating system you have. The easiest way is to download the precompiled serial binary for your platform, unpack the archive and run the installation script. The parallel version is a little more involved, as this requires an installed MPI implementation and so compilation from source is required. More details can be found in the vampire manual. Thanks to Dr. Andreas Biternas and Rory Pond for providing the windows binaries of vampire.

Vampire 4.0 binary packages (500kB)

Source code packages

Sample input files

The following example input files are included in the source code distribution, but for those wanting to use the binary distribution they are made available here. To use the files simply save them to the binary location and run the executable as usual.

Get the source code

The best way to get the vampire source code is using git, a distributed version control program which enables changes in the code to be tracked. To get vampire from the github repository checkout your own copy of the repository using:

$ git clone git://github.com/richard-evans/vampire.git

This way, updates to the code can be easily merged with the downloaded version.

Development version

In addition to the latest release, the upcoming version of vampire is available on the develop branch of the git repository. This can be obtained by cloning the repository as normal, and running

$ git checkout develop

The develop branch generally has additional features, but is liable to contain bugs or errors which may lead to incoreect results, and therefore should be used with caution.

Previous releases

The following lists previous binary releases purely for reasons of research reproducability, but using them for new research is strongly discouraged, as they have limited features and may contain minor unfixed bugs.

Vampire 3.0.3 binary packages (500kB)