Links for z3-tptp
z3-tptp-4.15.4.tar.gz