Supplementary material for the paper “The Vampire and the FOOL” by E. Kotelnikov, L. Kovács, G. Reger and A. Voronkov.
If you have any questions please contact Evgenii.
The following are compiled versions of Vampire with FOOL support. We used the OS X version for the experiments.
Note that it is an intermediate version to be replaced by a forthcoming release of Vampire 4.1.
These binaries are covered by the Vampire EUL.