PREG Axiomatizer is a tool for automatically deriving ground-complete axiomatizaitons for the bisimilarity over GSOS systems (extended with predicates). For more information on this topic, please read Axiomatizing GSOS with Predicates.
MacOSX on Intel and Linux on Intel x86(32/64) bundle.
Unarchive the tool and run:
python axiomatizer_gui.py
Normally, this should work well under Mac OS 10.5.x and 10.6.x.
In case you encounter errors while running Linux, install the Tcl/Tk 8.x packages for python:
sudo apt-get install python-tk
If you still don't manage to run the application, then download, compile and install: