Tyrolean Termination Tool 2 (1.16)

1. Input Term Rewrite System

For input use the standard TRS format.
or upload file

2. Select Strategy


3. Start TTT2