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