Confluence check tool for TRS

This software is a tool for checking confluence of term rewriting systems(TRS). Labelling technique is used for deviding TRS. The following version is available.


Usage: dac [-l] [-m] [C] [-N] [-D#] [filename]
        -h show this help message
        -l with labelling information
        -m manual labelling
        -C accept Cdimple format
        -N check without dividing
        -D# with debug information of level #

Last modified: Jun.28.2002 by Masahiko Sakai(mail: sakai at