TCM distributions with executables are uploaded to the
ftp-site ftp://ftp.cs.vu.nl/pub/tcm
.
Up to now compilations have been made for Sun Solaris 2.x
(Sparc and x86), SunOS 4.x.x (Sparc), Linux 2.0 (x86),
IRIX 5.x (SGI), AIX 4.x (RS6000) and HP-UX 10.x.
You can download the software via the web page
http://www.cs.vu.nl/~tcm/software.html
.
On this web page and in the file README.TCM
at the ftp site you can find which
distributions currently exist and what is included
in them.