Supplementary material for the paper “A Clausal Normal Form Translation for FOOL” by E. Kotelnikov, L. Kovács, M. Suda 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.
These binaries are covered by the Vampire EUL.
Partial correctness problems + running script.
Every directory in this archive contains