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:
- tct-its: Automatic complexity analysis tool for integer transition systems
- tct-trs: Automatic complexity analysis tool for term rewrite systems
- tct-hoca: Automatic complexity analysis tool for higher-order systems
- tct-jbc: Automatic complexity analysis tool for Jinja bytecode
Other modules:
- tct-core: Transformation framework for complexity analysis
- tct-common: Common functionalities for TcT
- jat: Transformation from Jinja bytecode to term rewrtite systems
- hoca: Automatic complexity analysis tool for higher-order systems
- term-rewriting-applicative: Applicatives for term-rewriting library
- slogic: A s(imple)logic library providing interfaces to to external solvers
- term-rewriting-xml: XML parser for term-rewriting library