Latest version

The tool can be downloaded as an executable package (maude-shell, to be run as ./maude-shell or python maude-shell) or as a installable wheel (maude_shell-0.1.1-py3-none-any.whl, to be installed with pip install followed by its path).

It depends on the maude Python library, which can be installed with pip install maude in the first case.