Theoretical Computer Science

Download

TcT is hosted on our Github page. It consists of multiple packages. Most likely you want one of tct-its, tct-trs or tct-hoca. The installation procedures and requirements are provided in the README.md file (which is displayed on the respective Github-project page). Following modules are available:

TcT instances:
Other modules:

License

The releases are licensed under BSD3. See http://directory.fsf.org/wiki/License:BSD_3Clause for more information on BSD3.

Old releases

The old releases of TcT are sill available in our archive.