Python bindings for Maude

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Development Status
- 3 - Alpha
Intended Audience
- Science/Research
Operating System
- OS Independent
Programming Language
- Python
- Python :: 3
Topic
- Scientific/Engineering

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

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Development Status
- 3 - Alpha
Intended Audience
- Science/Research
Operating System
- OS Independent
Programming Language
- Python
- Python :: 3
Topic
- Scientific/Engineering

Release history Release notifications | RSS feed

1.4.0

Mar 24, 2024

1.3.0

Dec 10, 2023

1.2.3

Apr 23, 2023

1.2.2

Jan 3, 2023

1.2.0

Aug 10, 2022

1.1.2

May 8, 2022

1.1.1

Mar 30, 2022

1.1.0

Feb 25, 2022

1.0.1

Jan 19, 2022

This version

1.0

Oct 9, 2021

0.7

Mar 6, 2021

0.6

Oct 23, 2020

0.5

Sep 22, 2020

0.4

May 26, 2020

0.3

Apr 22, 2020

0.2

Mar 27, 2020

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

maude-1.0-cp310-cp310-win_amd64.whl (3.2 MB view hashes)

Uploaded Dec 13, 2021 CPython 3.10 Windows x86-64

maude-1.0-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.6 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.10 manylinux: glibc 2.12+ x86-64

maude-1.0-cp310-cp310-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Dec 13, 2021 CPython 3.10 macOS 10.9+ x86-64

maude-1.0-cp39-cp39-win_amd64.whl (3.2 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.9 Windows x86-64

maude-1.0-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.6 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.9 manylinux: glibc 2.12+ x86-64

maude-1.0-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.8 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.9 manylinux: glibc 2.5+ x86-64

maude-1.0-cp39-cp39-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.9 macOS 10.9+ x86-64

maude-1.0-cp38-cp38-win_amd64.whl (3.2 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.8 Windows x86-64

maude-1.0-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.6 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.8 manylinux: glibc 2.12+ x86-64

maude-1.0-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.8 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.8 manylinux: glibc 2.5+ x86-64

maude-1.0-cp38-cp38-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.8 macOS 10.9+ x86-64

maude-1.0-cp37-cp37m-win_amd64.whl (3.2 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.7m Windows x86-64

maude-1.0-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.6 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.7m manylinux: glibc 2.12+ x86-64

maude-1.0-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.8 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.7m manylinux: glibc 2.5+ x86-64

maude-1.0-cp37-cp37m-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.7m macOS 10.9+ x86-64

maude-1.0-cp36-cp36m-win_amd64.whl (3.2 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.6m Windows x86-64

maude-1.0-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.6 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.6m manylinux: glibc 2.12+ x86-64

maude-1.0-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.8 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.6m manylinux: glibc 2.5+ x86-64

maude-1.0-cp36-cp36m-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Oct 9, 2021 CPython 3.6m macOS 10.9+ x86-64

maude-1.0-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.8 MB view hashes)

Uploaded Oct 9, 2021 CPython 2.7m manylinux: glibc 2.5+ x86-64

maude-1.0-cp27-cp27m-macosx_10_9_x86_64.whl (2.4 MB view hashes)

Uploaded Oct 9, 2021 CPython 2.7m macOS 10.9+ x86-64

Hashes for maude-1.0-cp310-cp310-win_amd64.whl

Hashes for maude-1.0-cp310-cp310-win_amd64.whl
Algorithm	Hash digest
SHA256	`8c24eac36dc7d2e0be79b2a39f418a92b597ff378e35d025912bc76842eed07a`
MD5	`9fc488404dbf92ef817e4ee970961ffe`
BLAKE2b-256	`00a3953756f1c530b352b2eb584bd38ed2c264ccdf2cd6fbeacc2b575fcc7717`

Hashes for maude-1.0-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl

Hashes for maude-1.0-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`48d6c401895bbd02650fb71749eb5dd47542fb8f139b43cec3199160dc6dd419`
MD5	`a09a96d82c92fb9410d9cb72c6344cde`
BLAKE2b-256	`f8d3973339062832333a1ed8fb7f8305ab510d555bf1031c823c6baee48d5e4f`

Hashes for maude-1.0-cp310-cp310-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`0123cd0238457d103d98a331aad863d9967265112ddf037bdcf2f8f5da724b26`
MD5	`dbecc2bac6bdfef86681b7b5f0c0a1f2`
BLAKE2b-256	`901a43b0f02fb7880504d7c56266a1a59996790abe25fcc42010ee3c230e1cc1`

Hashes for maude-1.0-cp39-cp39-win_amd64.whl

Hashes for maude-1.0-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`6efbf64c3acbd1e78ef5c48a0bd883c2604e8747489f3c62b753281a62cdca79`
MD5	`989c80a7796b96fb9f66c88205886aa4`
BLAKE2b-256	`500d284ada8ca7cc242d4e44697878e85ca084f4099888f49113cf8d68df2775`

Hashes for maude-1.0-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl

Hashes for maude-1.0-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`71c8b08a8056dd5ecfb6ff3d2f3000f549c06dddf0da7066ce9b1149ca5ae231`
MD5	`5f9a122f73d6cdfc906a5ac8aff3cc1e`
BLAKE2b-256	`3ae05f02e1e0dfa2fccbf3a3d6b4fa2b8c343e234aa244489d4fb6c74f57062d`

Hashes for maude-1.0-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl

Hashes for maude-1.0-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`a7e215f6267832cfc39309cf924a66d1c3161d71ff358085cbf731119983ba8a`
MD5	`99b33dd15bfe8319e85da4ef7caac32e`
BLAKE2b-256	`70233065a4ad7f845e9c89485577891afd1314ff95416611f0b9b1a1f35515bf`

Hashes for maude-1.0-cp39-cp39-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`6b9ca27c883bc9d7c3dc8f0353160bbbb3ffe50ff47c5a0c3c0c979cba9158c5`
MD5	`9acd1f598de4138c08d854f2842f47cd`
BLAKE2b-256	`3641d1d549139aaeb132da8e5aad7855109944a12d7f95f7f7661fa7b0fadbeb`

Hashes for maude-1.0-cp38-cp38-win_amd64.whl

Hashes for maude-1.0-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`6a4c1750b658b21ab62ebaf33dca313d8ef6c90ff8fdaf23cba5662bfb3595b9`
MD5	`d5471428e97b35e9882602f157f63ce3`
BLAKE2b-256	`1baf57b2c0ef6f20ba970dd49a4cd6794ad492fbd58412fad973d711b353e24f`

Hashes for maude-1.0-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl

Hashes for maude-1.0-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`328c38d032caafc6b9b99d50b3357cbcbfe05c124f7b3a636190c0fced612221`
MD5	`f173f5f1af51d7cf16037626077e69ad`
BLAKE2b-256	`f438be7e60460b40aec05a264070405b276eac5d2ea7ddedfa37753b1595f9e9`

Hashes for maude-1.0-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl

Hashes for maude-1.0-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`868fd2a7ae63d1088346b04b6a9ef2a39fd0cf93606b6a326c8acdb2ac01bb46`
MD5	`baed24b0dcd6ebc180ec2ab1c8abaaa8`
BLAKE2b-256	`560eb44a7c553d8167e68b2a1e1a7d0ca3c3f8420c36fc2b2c8eb71930c54aaa`

Hashes for maude-1.0-cp38-cp38-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`b8256cad3bdf24502a63a5278a4f2d9512d0f6412b76c1d22427dc93e4da8a30`
MD5	`74803c67b67fa920000a8ab6721598f9`
BLAKE2b-256	`672026b7a987a0950c60a5af4731e6121c1d52cf9dd54f606b558b23dacd8e17`

Hashes for maude-1.0-cp37-cp37m-win_amd64.whl

Hashes for maude-1.0-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`7dc2b1ea482babdc8b55917abed13b7d76da9eba180ce7c22e43a76b2c3b491a`
MD5	`cf46f3f24dffa6c8b171b9e46a2d7b8f`
BLAKE2b-256	`55dfcb705b9b2d42d35cc8f4b23a28003a7cef735858955691287cf8067bd5a2`

Hashes for maude-1.0-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl

Hashes for maude-1.0-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`21f0cb31ba209eaa71f3e69689b87be296a4bcd9cd67bee2fe95174e08d75ab4`
MD5	`f9850ae345d2a5969bf55dae474433ba`
BLAKE2b-256	`e802b742e0616f5da3c959bd13d522353fc10253cc2248d7f33f299363b907ec`

Hashes for maude-1.0-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl

Hashes for maude-1.0-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`539586b3502d94a7f1f85fe003590ce1d35afdabf53e2d4ba550b4470220c5ef`
MD5	`5a4fd3596031fd43b69d066765daa131`
BLAKE2b-256	`6bfda918ca3b0b44ffa938e1b028f208d6aeafa4928f6fc2729786af80e133b0`

Hashes for maude-1.0-cp37-cp37m-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`adf762558eb185417e5937bab2195d8bb5f80a4542933a1db35da9f6722e7169`
MD5	`c54c4934b2d022efe7dc4a1082f6cedb`
BLAKE2b-256	`e8facba5312a1ff4ecfa8d771dbb46a913b403aa702ada5e4d442042e49b03c9`

Hashes for maude-1.0-cp36-cp36m-win_amd64.whl

Hashes for maude-1.0-cp36-cp36m-win_amd64.whl
Algorithm	Hash digest
SHA256	`224c4f1acdd572f5e6aab18b8882aec945a4fa3e3d3984c52ebfa832c822e07a`
MD5	`8269a1beac6388972b126f8d56f5ad4f`
BLAKE2b-256	`a1763395fee7dd9cc71545fb676807091c425e4282f99c600e3f43c653f9f161`

Hashes for maude-1.0-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl

Hashes for maude-1.0-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`989a7e67d358150e4a16a732679e88350ab08c6545bce8a10a4aa89a7e4e7bd2`
MD5	`a273795293ec29f1f629793503db3eee`
BLAKE2b-256	`658791d65c194f8498d4ea11a94f787e90fde93b282e71831f71b3e82e9ad029`

Hashes for maude-1.0-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl

Hashes for maude-1.0-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`f90c434b7ee7af8784164ea0cf091d1cfbe9e98b865b1f84957e32031c76672b`
MD5	`bbb933659d3a2429d6b91a347ec821f0`
BLAKE2b-256	`6dd0d5da34553eb568849dff2aee07bd98aef0323503c76f4c5db5dba9e0bb84`

Hashes for maude-1.0-cp36-cp36m-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`87c45557a6c9556666a77cfbfb7b39b2984cb5b9ea887ad14fc4082335dab83b`
MD5	`eab17d8b391d3b8357214996d0910140`
BLAKE2b-256	`040f8e1d1ba20c2947cae458b017c8db8ea0b2f0c7f3c8b4f301e1d393c74205`

Hashes for maude-1.0-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl

Hashes for maude-1.0-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`5298e06779d8cc3c8f57ef7a27d400f9b2e34a4b8990c8e3a0f1f923fbb2d2a5`
MD5	`0e0833848602b2a4165d8b05b62c05f2`
BLAKE2b-256	`7aeb9e427135a66eec56ba78bb17dada8c1a23eed5480f6cb23619a299d62fee`

Hashes for maude-1.0-cp27-cp27m-macosx_10_9_x86_64.whl

Hashes for maude-1.0-cp27-cp27m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`1cd0034524f911ffebcef427e40704e4f60891750be110575110870453980867`
MD5	`eb2280a0fb07dff8a180624ebdb4b5b4`
BLAKE2b-256	`93b20baacfa1f56556bbb2336e00184341608497d01aec5e3491b452ea209248`