tct-its

This package is part of the Tyrolean Complexity Tool (TcT) and provides automatic complexity analysis of Integer Transition Systems (ITSs).

This repository provides the tct-its library as well as the tct-its executable.

Requirements

Executables:

• Glasgow Haskell Compiler, version 7.10
• yices, version 2.3

Other packages:

• slogic
• tct-core
• tct-common

The tool is only tested under GNU/Linux.

Installation

Using Stack

We recommend using stack with the accompanied stack.yaml file. To build and install the package run following command:

stack install tct-its

Using Cabal

For building via cabal/cabal-install, make sure that you have ghc and cabal. To build and install the package run following commands:

mkdir tct-bundle
cd tct-bundle
git clone https://github.com/ComputationWithBoundedResources/slogic
git clone https://github.com/ComputationWithBoundedResources/tct-core
git clone https://github.com/ComputationWithBoundedResources/tct-common
git clone https://github.com/ComputationWithBoundedResources/tct-its
cabal install **/*.cabal

Example Usage

The installation provides an executable tct-its.

tct-its examples/insertsort.its

For full options, run tct-its --help.