vampire
vampire.zip
leo3.jar
eprover-ho
eprover/
vampire-ho.zip
vampire-ho
twee
twee-2.4.2-linux-amd64
nanoCoP-i20.tar.gz
nanoCoP-i20/
Prover9/
kissat/
kissat
gappa-*/
gappa-*.tar.gz
gappa/
aprove.jar
TPTP4X/
JJParser/

