tct-common

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