tct-hoca

This executable is part of the Tyrolean Complexity Tool (TcT) and provides automatic complexity analysis of higher-order-systems. It bundles

• hoca
• tct-trs to a single executable.

Requirements

• Glasgow Haskell Compiler, version 7.10
• minismt, version 0.6

The tool is only tested under GNU/Linux.

Install

For building, you need ghc and stack. Execute stack build.

Usage

The installation provides an executable tct-hoca. For full options, run tct-hoca --help.