The TSPASS system (i.e. the prover itself and the translation tool) was developed by Michael Ludwig and is released under the terms and conditions of the GNU General Public Licence v3.
The latest relase of the system can be found here but we below provide version 0.16 of the "fotl-translate" tool and version 0.94 of the "tspass" tool.
This TSPASS source code can be compiled under x86 Linux systems. The source code and x86 binaries can be downloaded by using the links given below. The binaries were compiled under Fedora 9.
Sources: tspass-source-0.94-0.16.tar.gz
Bonaries: tspass-binaries-0.94-0.16.tar.gz