Python bindings for Maude
Python bindings for Maude using SWIG.
The maude package allows manipulating terms, modules, and other entities of the Maude specification language as Python objects, whose methods expose the operations available as commands in the Maude interpreter.
See the repository for additional information, documentation, and examples.
1 maintainer
Metadata
1 maintainer
Release files for maude 1.6.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 62.4 MB
Release files / maude-1.6.0-cp314-cp314-win_amd64.whl
| Download URL | maude-1.6.0-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
7cdb5a5e8a2a97a6434dad8e97c059796b463fe6cc07ed20f804c141a4381807
|
|
BLAKE2b-256 checksum How to use checksums |
309596dddcc1e8027257ed6350c3083af7f9da0f724d884675744837360582b2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp314-cp314-manylinux_2_28_x86_64.whl
| Download URL | maude-1.6.0-cp314-cp314-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.1 MB |
| Tags | CPython 3.14 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
de488a4df16649e0b01fe900e56cbb71484789f601ae210fd7f4d46672ac0108
|
|
BLAKE2b-256 checksum How to use checksums |
9cb30f65d3cdd2a412ecddf497192d297630f764cccdafe66ad107e91837ba9f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp314-cp314-macosx_15_0_x86_64.whl
| Download URL | maude-1.6.0-cp314-cp314-macosx_15_0_x86_64.whl |
|---|---|
| Size | 2.8 MB |
| Tags | CPython 3.14 macOS 15.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
d2dfc25697afc7b546f6a0809a23b872f27db341343fe4d15837b855dfba71c9
|
|
BLAKE2b-256 checksum How to use checksums |
b93bfd0c3368c42379120aacd9b94b0bfa5114439a2dacfdec2a9a76782b66bf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp314-cp314-macosx_15_0_arm64.whl
| Download URL | maude-1.6.0-cp314-cp314-macosx_15_0_arm64.whl |
|---|---|
| Size | 2.7 MB |
| Tags | CPython 3.14 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
5105f2c4e86fdfca1d288faeb484f1a5e5a031d83a0d53fcf0db6a8d92d6a45a
|
|
BLAKE2b-256 checksum How to use checksums |
df61f8e7aefec587b0589f29c3611bdd22843b377c81ad9d7ae20f6415c359d1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp313-cp313-win_amd64.whl
| Download URL | maude-1.6.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
95c25b1de5dfdf8850c404da6a6be925b50899d6b8b428cc922329ccfc6d234e
|
|
BLAKE2b-256 checksum How to use checksums |
70f347072f3e485880ec6e606a48b4ac7d7502095c7c0fad3b3700641b5f5c01
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp313-cp313-manylinux_2_28_x86_64.whl
| Download URL | maude-1.6.0-cp313-cp313-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.1 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
008dd9146ac986f164713c7473e447019862d6bb4bb45144879c9a07a8da3942
|
|
BLAKE2b-256 checksum How to use checksums |
bbf5717e385de1cac099ea397a8469320a613107e393d12c647183cbf76d4f90
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp313-cp313-macosx_15_0_x86_64.whl
| Download URL | maude-1.6.0-cp313-cp313-macosx_15_0_x86_64.whl |
|---|---|
| Size | 2.8 MB |
| Tags | CPython 3.13 macOS 15.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
ea4494c43350db31de347f35e2f08343c1c63a4575fc28ba5840eae52961f1c5
|
|
BLAKE2b-256 checksum How to use checksums |
7238c836a3c93f1a03ba2b8b1797cdbc0f8cc094160d008696d320a68ff3c84d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp313-cp313-macosx_15_0_arm64.whl
| Download URL | maude-1.6.0-cp313-cp313-macosx_15_0_arm64.whl |
|---|---|
| Size | 2.7 MB |
| Tags | CPython 3.13 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7da1af4ea752a7e363624895924a7b9813f51fc82d0329286fd1fb2a729729e7
|
|
BLAKE2b-256 checksum How to use checksums |
eb3fa69543721aae8245de245d120d5a1a671e0bfc021425422b51bac73bb96a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp312-cp312-win_amd64.whl
| Download URL | maude-1.6.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
8b9603d984a41b382663ee804f12c8db2f3429e34bdc5374713eabec6911d87b
|
|
BLAKE2b-256 checksum How to use checksums |
3598db8627f3c49457b6aa90ae7d152b66a86500254dc3591ba3a296e690a702
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp312-cp312-manylinux_2_28_x86_64.whl
| Download URL | maude-1.6.0-cp312-cp312-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.1 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
346ec548579aa4a9d59c84dedfdc8a4d9105a4ede0793aeeacfde8e7d8e0f258
|
|
BLAKE2b-256 checksum How to use checksums |
41058325f0ebe2352e65a30fab9f4cf9787a8b6e10e82546c4ad831731f72b1c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp312-cp312-macosx_15_0_x86_64.whl
| Download URL | maude-1.6.0-cp312-cp312-macosx_15_0_x86_64.whl |
|---|---|
| Size | 2.8 MB |
| Tags | CPython 3.12 macOS 15.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
af41dc2900572b5ffc70440da042aa78faa9888bc9b92f9a491bad8eb9382c6e
|
|
BLAKE2b-256 checksum How to use checksums |
9c4a867696ea0af28b0adb1ba5ec7dd869ef099cfa4e21e3f66a5ba24d0a4270
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp312-cp312-macosx_15_0_arm64.whl
| Download URL | maude-1.6.0-cp312-cp312-macosx_15_0_arm64.whl |
|---|---|
| Size | 2.7 MB |
| Tags | CPython 3.12 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
5d8234aa4467ea867c550548123a96c632c562ccdd1e3dbf534ba95d776552d6
|
|
BLAKE2b-256 checksum How to use checksums |
207afb24d236abae1c925b4aefa0282bb95326010c4357ea095a7d9f608b0a6d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp311-cp311-win_amd64.whl
| Download URL | maude-1.6.0-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
0de426ca0f176098ce1b161891d36644f2797b250a2283222e26e18e82279507
|
|
BLAKE2b-256 checksum How to use checksums |
5238ce7a42e046a3b18dd413005bc9392fcfb26743707f4eadf3d806d1c5fa0a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp311-cp311-manylinux_2_28_x86_64.whl
| Download URL | maude-1.6.0-cp311-cp311-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.1 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
2d3751859ed5ce9839c419e20753b82062da6a79f0374597ad8ffc7e018ceda1
|
|
BLAKE2b-256 checksum How to use checksums |
ba5b0590741efa983a6ec057642576940edf0e58c1b0fc704e1a7321d1165b00
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp311-cp311-macosx_15_0_x86_64.whl
| Download URL | maude-1.6.0-cp311-cp311-macosx_15_0_x86_64.whl |
|---|---|
| Size | 2.8 MB |
| Tags | CPython 3.11 macOS 15.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
924ac7ece77c201b61bfb2806017301d413f6f512890bc64e959494c3a719441
|
|
BLAKE2b-256 checksum How to use checksums |
1a7c136f7489980bc857a0e932a1f1c3aff4e13af7db7e7147459d38d3a0e802
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp311-cp311-macosx_15_0_arm64.whl
| Download URL | maude-1.6.0-cp311-cp311-macosx_15_0_arm64.whl |
|---|---|
| Size | 2.7 MB |
| Tags | CPython 3.11 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
de48423981c92d59877f2e0a4db4ccedc5e0e26a19c3fda9c65d06d908dc3a11
|
|
BLAKE2b-256 checksum How to use checksums |
b1800046efb6591e8bf0d774569aaf1e9770b590ffce0c8c0ee0edad1f5cb227
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp310-cp310-win_amd64.whl
| Download URL | maude-1.6.0-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
2fa93581ae5a2c4952cc6807ebc8cdea8918ae0a3e10ca1a12f4992505e827aa
|
|
BLAKE2b-256 checksum How to use checksums |
0549abb4b07ae3d5143765dab0e80b0af0ffd071cdbf1937eb667b3f3cb371ab
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp310-cp310-manylinux_2_28_x86_64.whl
| Download URL | maude-1.6.0-cp310-cp310-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.1 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
4252e542294f15a5a0d05433d6d5c4bb5af38cfc60087a63d132ce211e70003e
|
|
BLAKE2b-256 checksum How to use checksums |
d2f9b8a457e29d37262df6a294ce23b1ad370b56816e3fe9d05a78d8cbca2151
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp310-cp310-macosx_15_0_x86_64.whl
| Download URL | maude-1.6.0-cp310-cp310-macosx_15_0_x86_64.whl |
|---|---|
| Size | 2.8 MB |
| Tags | CPython 3.10 macOS 15.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
10fba57e9cb246422afc95a3528893e017a76bbe3946b7647c8f0fd093515ae2
|
|
BLAKE2b-256 checksum How to use checksums |
70680b4ff2bb14d68722d74b15aad243036175665f804e156f75a0c4a6201821
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
Release files / maude-1.6.0-cp310-cp310-macosx_15_0_arm64.whl
| Download URL | maude-1.6.0-cp310-cp310-macosx_15_0_arm64.whl |
|---|---|
| Size | 2.7 MB |
| Tags | CPython 3.10 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
ca953d5b17b9bcfc234c79e18b0d19a210cffc10d2a661cbb6988f9cc3036494
|
|
BLAKE2b-256 checksum How to use checksums |
24cd46424b25916bcb86b45958d406cfbbaf47fe3f5c6f9684e5b76662010513
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.7
|
