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.
confluin was written by Katriel Cohn-Gordon.