Reference Manual and Other Documentation

Vampire manual is not finished yet. While there is no manual, you can use the preliminary version of our CAV 2013 paper, which describes main features of Vampire and some of its options.

Click here to view the paper.