Python bindings for Maude

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for ningit from gravatar.com ningit

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GPLv2
  • Author: ningit
Classifiers
Report project as malware

Project description

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.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for ningit from gravatar.com ningit

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GPLv2
  • Author: ningit
Classifiers

Release history Release notifications | RSS feed

This version

1.6.0

1.5.0

1.4.0

1.3.0

1.2.3

1.2.2

1.2.0

1.1.2

1.1.1

1.1.0

1.0.1

1.0

0.7

0.6

0.5

0.4

0.3

0.2

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

maude-1.6.0-cp314-cp314-win_amd64.whl (3.9 MB view details)

Uploaded CPython 3.14Windows x86-64

maude-1.6.0-cp314-cp314-manylinux_2_28_x86_64.whl (3.1 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.28+ x86-64

maude-1.6.0-cp314-cp314-macosx_15_0_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.14macOS 15.0+ x86-64

maude-1.6.0-cp314-cp314-macosx_15_0_arm64.whl (2.7 MB view details)

Uploaded CPython 3.14macOS 15.0+ ARM64

maude-1.6.0-cp313-cp313-win_amd64.whl (3.8 MB view details)

Uploaded CPython 3.13Windows x86-64

maude-1.6.0-cp313-cp313-manylinux_2_28_x86_64.whl (3.1 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.28+ x86-64

maude-1.6.0-cp313-cp313-macosx_15_0_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.13macOS 15.0+ x86-64

maude-1.6.0-cp313-cp313-macosx_15_0_arm64.whl (2.7 MB view details)

Uploaded CPython 3.13macOS 15.0+ ARM64

maude-1.6.0-cp312-cp312-win_amd64.whl (3.8 MB view details)

Uploaded CPython 3.12Windows x86-64

maude-1.6.0-cp312-cp312-manylinux_2_28_x86_64.whl (3.1 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.28+ x86-64

maude-1.6.0-cp312-cp312-macosx_15_0_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.12macOS 15.0+ x86-64

maude-1.6.0-cp312-cp312-macosx_15_0_arm64.whl (2.7 MB view details)

Uploaded CPython 3.12macOS 15.0+ ARM64

maude-1.6.0-cp311-cp311-win_amd64.whl (3.8 MB view details)

Uploaded CPython 3.11Windows x86-64

maude-1.6.0-cp311-cp311-manylinux_2_28_x86_64.whl (3.1 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.28+ x86-64

maude-1.6.0-cp311-cp311-macosx_15_0_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.11macOS 15.0+ x86-64

maude-1.6.0-cp311-cp311-macosx_15_0_arm64.whl (2.7 MB view details)

Uploaded CPython 3.11macOS 15.0+ ARM64

maude-1.6.0-cp310-cp310-win_amd64.whl (3.8 MB view details)

Uploaded CPython 3.10Windows x86-64

maude-1.6.0-cp310-cp310-manylinux_2_28_x86_64.whl (3.1 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.28+ x86-64

maude-1.6.0-cp310-cp310-macosx_15_0_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.10macOS 15.0+ x86-64

maude-1.6.0-cp310-cp310-macosx_15_0_arm64.whl (2.7 MB view details)

Uploaded CPython 3.10macOS 15.0+ ARM64

File details

Details for the file maude-1.6.0-cp314-cp314-win_amd64.whl.

File metadata

  • Download URL: maude-1.6.0-cp314-cp314-win_amd64.whl
  • Upload date:
  • Size: 3.9 MB
  • Tags: CPython 3.14, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.7

File hashes

Hashes for maude-1.6.0-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 7cdb5a5e8a2a97a6434dad8e97c059796b463fe6cc07ed20f804c141a4381807
MD5 36af8980022596f952629b70d148789a
BLAKE2b-256 309596dddcc1e8027257ed6350c3083af7f9da0f724d884675744837360582b2

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp314-cp314-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp314-cp314-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 de488a4df16649e0b01fe900e56cbb71484789f601ae210fd7f4d46672ac0108
MD5 b441c54b58f3ed631c7e4e0bcde92df8
BLAKE2b-256 9cb30f65d3cdd2a412ecddf497192d297630f764cccdafe66ad107e91837ba9f

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp314-cp314-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp314-cp314-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 d2dfc25697afc7b546f6a0809a23b872f27db341343fe4d15837b855dfba71c9
MD5 1c13995f7ce3af0d84b69cfb66b9dba3
BLAKE2b-256 b93bfd0c3368c42379120aacd9b94b0bfa5114439a2dacfdec2a9a76782b66bf

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp314-cp314-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp314-cp314-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 5105f2c4e86fdfca1d288faeb484f1a5e5a031d83a0d53fcf0db6a8d92d6a45a
MD5 58235f4c0a3b8749e27b86604ac96c51
BLAKE2b-256 df61f8e7aefec587b0589f29c3611bdd22843b377c81ad9d7ae20f6415c359d1

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp313-cp313-win_amd64.whl.

File metadata

  • Download URL: maude-1.6.0-cp313-cp313-win_amd64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.13, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.7

File hashes

Hashes for maude-1.6.0-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 95c25b1de5dfdf8850c404da6a6be925b50899d6b8b428cc922329ccfc6d234e
MD5 d8349a5daff7aae70c1e4cbbcc76ddcb
BLAKE2b-256 70f347072f3e485880ec6e606a48b4ac7d7502095c7c0fad3b3700641b5f5c01

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp313-cp313-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp313-cp313-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 008dd9146ac986f164713c7473e447019862d6bb4bb45144879c9a07a8da3942
MD5 6f2cad8a1aa1f438255616e092e34ffd
BLAKE2b-256 bbf5717e385de1cac099ea397a8469320a613107e393d12c647183cbf76d4f90

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp313-cp313-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp313-cp313-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 ea4494c43350db31de347f35e2f08343c1c63a4575fc28ba5840eae52961f1c5
MD5 17e3a90154845b9e6581e47b8f6ebf42
BLAKE2b-256 7238c836a3c93f1a03ba2b8b1797cdbc0f8cc094160d008696d320a68ff3c84d

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp313-cp313-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp313-cp313-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 7da1af4ea752a7e363624895924a7b9813f51fc82d0329286fd1fb2a729729e7
MD5 664cda2df3044f52e2f84df7d513cfda
BLAKE2b-256 eb3fa69543721aae8245de245d120d5a1a671e0bfc021425422b51bac73bb96a

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp312-cp312-win_amd64.whl.

File metadata

  • Download URL: maude-1.6.0-cp312-cp312-win_amd64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.12, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.7

File hashes

Hashes for maude-1.6.0-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 8b9603d984a41b382663ee804f12c8db2f3429e34bdc5374713eabec6911d87b
MD5 49071624faf8875c467f044d68a1e975
BLAKE2b-256 3598db8627f3c49457b6aa90ae7d152b66a86500254dc3591ba3a296e690a702

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp312-cp312-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp312-cp312-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 346ec548579aa4a9d59c84dedfdc8a4d9105a4ede0793aeeacfde8e7d8e0f258
MD5 8ff8a0c64f57a7d3fc3c892cfadb8862
BLAKE2b-256 41058325f0ebe2352e65a30fab9f4cf9787a8b6e10e82546c4ad831731f72b1c

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp312-cp312-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp312-cp312-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 af41dc2900572b5ffc70440da042aa78faa9888bc9b92f9a491bad8eb9382c6e
MD5 9c24e23cfb7b2b37a83c96b334e22809
BLAKE2b-256 9c4a867696ea0af28b0adb1ba5ec7dd869ef099cfa4e21e3f66a5ba24d0a4270

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp312-cp312-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp312-cp312-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 5d8234aa4467ea867c550548123a96c632c562ccdd1e3dbf534ba95d776552d6
MD5 ffb0938b48b3b4bd6528a67378276a06
BLAKE2b-256 207afb24d236abae1c925b4aefa0282bb95326010c4357ea095a7d9f608b0a6d

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp311-cp311-win_amd64.whl.

File metadata

  • Download URL: maude-1.6.0-cp311-cp311-win_amd64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.11, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.7

File hashes

Hashes for maude-1.6.0-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 0de426ca0f176098ce1b161891d36644f2797b250a2283222e26e18e82279507
MD5 fcbe074c65b844cbc89381b333981343
BLAKE2b-256 5238ce7a42e046a3b18dd413005bc9392fcfb26743707f4eadf3d806d1c5fa0a

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp311-cp311-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp311-cp311-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 2d3751859ed5ce9839c419e20753b82062da6a79f0374597ad8ffc7e018ceda1
MD5 92ddce8ef54f393600ec295c902aa4c2
BLAKE2b-256 ba5b0590741efa983a6ec057642576940edf0e58c1b0fc704e1a7321d1165b00

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp311-cp311-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp311-cp311-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 924ac7ece77c201b61bfb2806017301d413f6f512890bc64e959494c3a719441
MD5 03ade78a4ab05851a3c2a0454daf7c7b
BLAKE2b-256 1a7c136f7489980bc857a0e932a1f1c3aff4e13af7db7e7147459d38d3a0e802

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp311-cp311-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp311-cp311-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 de48423981c92d59877f2e0a4db4ccedc5e0e26a19c3fda9c65d06d908dc3a11
MD5 9f0679aeeca4afee3607a5e29fd21bbd
BLAKE2b-256 b1800046efb6591e8bf0d774569aaf1e9770b590ffce0c8c0ee0edad1f5cb227

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp310-cp310-win_amd64.whl.

File metadata

  • Download URL: maude-1.6.0-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.7

File hashes

Hashes for maude-1.6.0-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 2fa93581ae5a2c4952cc6807ebc8cdea8918ae0a3e10ca1a12f4992505e827aa
MD5 10580fcb7bcc740a74237723fdd1d7b6
BLAKE2b-256 0549abb4b07ae3d5143765dab0e80b0af0ffd071cdbf1937eb667b3f3cb371ab

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp310-cp310-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp310-cp310-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4252e542294f15a5a0d05433d6d5c4bb5af38cfc60087a63d132ce211e70003e
MD5 5c81dd306ecb7f1e925638dd222f0a80
BLAKE2b-256 d2f9b8a457e29d37262df6a294ce23b1ad370b56816e3fe9d05a78d8cbca2151

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp310-cp310-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp310-cp310-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 10fba57e9cb246422afc95a3528893e017a76bbe3946b7647c8f0fd093515ae2
MD5 0a56732d326dd00748cbd1afd53da213
BLAKE2b-256 70680b4ff2bb14d68722d74b15aad243036175665f804e156f75a0c4a6201821

See more details on using hashes here.

File details

Details for the file maude-1.6.0-cp310-cp310-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for maude-1.6.0-cp310-cp310-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 ca953d5b17b9bcfc234c79e18b0d19a210cffc10d2a661cbb6988f9cc3036494
MD5 9e4795316a891371acbb9cd37aa3264e
BLAKE2b-256 24cd46424b25916bcb86b45958d406cfbbaf47fe3f5c6f9684e5b76662010513

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page