This page has moved. SMTtoTPTP is now hosted at
https://bitbucket.org/peba123/smttotptp
.