Software

Hakusan	a confluence tool for term rewrite systems
Toma	an equational theorem prover
ARI-COPS Database	the confluence problems database
Maxcomp	a completion tool
Saigawa	a confluence tool for term rewrite systems
CoLL	a confluence and commutation tool for left-linear term rewrite systems
Moca	an equational theorem prover