The best way to get VAMPIRE is to download the source code and compile on your platform (either Linux PC, Linux cluster or Mac). You can get the VAMPIRE source code 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: