A confluence checker for Tamarin equational theories

confluin foo.spthy

and see what it says!

To install use pip:

$ pip install git https://github.com/katrielalex/confluin

Or clone the repo:

$ git clone https://github.com/katrielalex/confluin.git
$ python setup.py install

You'll need the following. No, there's no good way to install them. Yes, it's horrible.

• maude (2.7.1 is a good version)
• muterm

confluin was written by Katriel Cohn-Gordon.