Tools

Completion Tools

• KBCV
• Maxcomp
• mkbTT
• Waldmeister

Complexity Tools

• AProVE
• CaT
• matchbox
• TcT

Confluence Tools

• ACP
• CoLL-Saigawa
• CSI

First-Order Theory Tools

• FORT

Strategy Tools

• AutoStrat
• JITty

Termination Tools

• AProVE
• Cariboo
• CiME
• matchbox
• MU-TERM
• NaTT
• NTI
• TTT2