The following Python packages have been uploaded to [PyPI](https://pypi.org/project/maude), and they can be installed with `pip install --upgrade maude`.
`.whl` files can also be directly installed with `pip` for the matching Python version (2.7, 3.6, 3.7, 3.8 and 3.9).
Update to Maude alpha133
------------------------
The Maude version used by the library is now [Maude alpha133](https://github.com/SRI-CSL/Maude/releases/tag/Alpha133). Since the bugs fixed since Maude 3.1 may affect the potential users of the library, it has been packaged with the latest release despite not being stable. However, using the stable version or a different compatible alpha version is still possible, by replacing the `libmaude.so` (Linux), `libmaude.dylib` (macOS) or `libmaude.dll` (Windows) and the `.maude` files in the package directory with that version.
New features
------------
* New method `getMetadata` to obtain the free text `metadata` attribute on `MembershipAxiom`, `Equation`, `Rule`, `RewriteStrategy`, `StrategyDefinition` and the declarations of a `Symbol`. The quotation marks surrounding this text are only trimed in Python, Lua and Java for the moment.
* New method `getLineNumber` to obtain the line number information as printed by Maude on module statements.
Improvements
------------
* In previous versions, the methods `findSort` and `findSymbol` of `Module` expected all special characters in the name to be escaped by backquotes, which is now optional.
* Object to string conversions are now reentrant.
Bug fixes
---------
* Bug fixes in the methods `rewrite`, `frewrite`, `erewrite`, `srewrite` of `Term`, and in `StrategyRewriteGraph`.
* Fixed several memory leaks. ⚠ Warning: memory errors are more likely now when are objects used outside their lifetimes (this mainly affects substitutions returned by searches, which should not survive its iterator).