Confluence Checker for Conditional Rewrite Systems
Select a file to upload, try an example (or another), or paste your code un the following text area:
Select timeout in seconds (1 <= timeout <= 300):