Tyrolean Termination Tool 2 (1.17)

1. Input Term Rewrite System

For input use the standard TRS format.
or upload file

2. Select Strategy


3. Encode State into URL (optional)

4. Start TTT2