Tools

Completion Tools

• KBCV
• Maxcomp
• mkbTT
• Waldmeister

Complexity Tools

• AProVE
• CaT
• matchbox
• TCT

Confluence Tools

• ACP
• CSI
• Saigawa

First-Order Theory Tools

• FORT

Termination Tools

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