A simple confluence tool, with the following functionality:
- check for left-linear, development closed TRSs
- decision procedure for confluence of ground TRSs
- persistent decomposition based on ordered sorts
- Knuth-Bendix criterion using external tool (TTT2) for termination