TcT is released under the GNU Lesser General Public License. For installation instruction we kindly refer the reader to here, or see the file INSTALL.md in the source distribution. Further usage information is provided from the TcT homepage.