Tools

Termination Tools

• AProVE
• CARIBOO
• CiME
• Jambox
• TERMPTATION
• matchbox
• MU-TERM
• NaTT
• TTT2
• VMTL

Completion Tools

• KBCV
• Maxcomp
• mkbTT
• Waldmeister

Confluence Tools

• ACP
• CSI
• Saigawa

Complexity Tools

• AProVE
• CaT
• matchbox
• TCT