Automatic complexity analysis tool for integer transition systems
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
src/Tct
tct-its
.travis.yml
LICENSE
README.md
Setup.hs
stack.dev.yaml
stack.yaml
tct-its.cabal

README.md

##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:

Other packages

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.