tct-core

This package is part of the Tyrolean Complexity Tool (TcT) framework and provides the core functionalities. Check out other the packages available here for instantiations of the framework, for example tct-trs.