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 be directly installed too with `pip` for the matching Python version (2.7, 3.6, 3.7 or 3.8).
Non-backward compatible changes
-------------------------------
* Maude-internal vectors returned by observer methods (`Module.getSorts`...) are now read-only.
* `Term.match` receives a Python list of condition fragments instead of an internal vector.
* `Symbol.domainComponent` is renamed to `Symbol.domainKind`.
New features
------------
* [Documentation](https://fadoss.github.io/maude-bindings).
* Terms can be constructed and destructured: `Term.arguments` to iterate their arguments, `Symbol.makeTerm` to build terms, `Module.findSort` and `findSymbol` to find symbols and sorts in a module.
* Access to the Maude LTL model checker and its extension for strategy-controlled systems: `modelCheck` method in `StateTransitionGraph` and `StrategyTransitionGraph`.
* `Module.downStrategy` and `Module.downModule` to get module and strategy expression objects from their metarepresentations.
* Additional methods in some other classes: operator declarations in `Symbol`, sorts in `Kind`...
* The random seed for the `RANDOM` module can now be set in the `maude.init` function.
Bug fixes
---------
* Internal errors in `Term.search` and `StrategyTransitionGraph`.
* `Sort.leq` only worked for symbols in the same kind.