Confluence Competition

Tools

The pointers to known confluence tools can be checked in the Entrants section of the latest competition. You might also be interested in the list of Tools on Rewriting maintained by Nao Hirokawa.