Python packages v1.1.0
The following Python packages have been uploaded to PyPI, and they can be installed with pip install --upgrade maude
.
.whl
files can also be directly installed with pip
for the matching Python version (3.6, 3.7, 3.8, 3.9, and 3.10).
Update to Maude 3.2.1
- The bindings are now linked to Maude 3.2.1, which includes several improvements and bug fixes.
- New global functions
setAllowDir
for setting whether access to the file system through the directory API is allowed, andsetAssocUnifDepth
to set the depth multiplier for associative unification. - The
Term.vu_narrow
method takes two new optional argumentsfilter
anddelay
that correspond to the homonym options of the interpreter command.
Other improvements
- New method
Kind.hash
for hashingKind
objects. In Python, they can now be used in dictionaries, sets, etc.
Known problems
- The packages distributed through PyPI lack the files
process.maude
andtime.maude
that are part of Maude 3.2.1, unlike those that can be downloaded below. However, the missing files can be automatically replaced with thefix-missing.py
script below, or manually by copying them to the package installation path or anywhere else inside the Maude library path.