Saigawa is a fully automatic confluence tool for first-order term rewrite systems. The latest version is based on the four confluence criteria: confluence criterion of Hirokawa and Middeldorp (IWC 2013); confluence criterion of Klein and Hirokawa (LPAR 2011); Church-Rosser modulo by Jouannaud and Kirchner (SIAM Journal of Computing, 1986); rule labeling of van Oostrom (RTA 2008)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element