Confluence Competition

Tools

The pointers to known confluence tools can be checked in the Entrants section of the latest competition. Confluence tools that participated in past competitions are available online at CoCoWeb. You might also be interested in the list of Tools on Rewriting maintained by Nao Hirokawa.