MaudeSE
MaudeSE extends Maude with SMT solving. It supports satisfiability checks and symbolic search, with Python connectors for Z3, Yices2, and cvc5. You can also write a connector for another solver.
Install and run
The upcoming release supports Python 3.10–3.14 on macOS and Linux. Install MaudeSE with Z3, its default solver:
python3 -m pip install 'maude-se[z3]'
This command applies after the upcoming release is published. Until then, build and test the current source as described in INSTALL.md.
This installs both MaudeSE and the Z3 Python package. The connectors and converters are included in MaudeSE; the extra installs the solver package.
From a checkout of this repository, open one of the included examples:
maude-se examples/smt-check-ex.maude -s z3
At the MaudeSE> prompt, run check in SIMPLE : X:Integer > 4 using QF_LRA .;
the result should be sat.
To use Yices2 or cvc5 instead, install maude-se[yices] or maude-se[cvc5]
and select it with -s yices or -s cvc5. See the
installation guide for existing installations, standalone
executables, and source builds.
Documentation
The MaudeSE documentation covers commands, examples, and the connector interface.
1 maintainer
Release files for maude-se 0.0.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 35.1 MB
Release files / maude_se-0.0.4-cp314-cp314-manylinux_2_28_x86_64.whl
| Download URL | maude_se-0.0.4-cp314-cp314-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.14 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
dcadfa3f27718116c0eb223e8d253b7a06d6290885c8bd2edf695e6835b0d469
|
|
BLAKE2b-256 checksum How to use checksums |
8c33cd44ab9d4ac635ed61f8c809cd84473ad34f7f0c69f823991918afd770a4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | maude_se-0.0.4-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
fee233c1f0bd5db2e50f76e1f2c647a9e750b2d8e8948c7d3bda2782cbb78f1f
|
|
BLAKE2b-256 checksum How to use checksums |
a3ec7b60b4963edb30432f2d6e138fccbb03d5d50a02e4c9014e9531faa0d55d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp314-cp314-macosx_10_13_x86_64.whl
| Download URL | maude_se-0.0.4-cp314-cp314-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.14 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
851e7aaef286b9970574d217f549cd9de6895085aa691238ec51422d61dfe564
|
|
BLAKE2b-256 checksum How to use checksums |
7fcb23997d89011f84a20777f5359f0d537554f236e943b851199b513024c6da
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp313-cp313-manylinux_2_28_x86_64.whl
| Download URL | maude_se-0.0.4-cp313-cp313-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
506561d08804e61c3fd6b4ab5fec1d464b352f1d659a50baa063aef2873e7955
|
|
BLAKE2b-256 checksum How to use checksums |
5bf17fd981ba76984fdfbdede9b4748344c68e5a2eb12ab796236f3cb307eb2b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | maude_se-0.0.4-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7d767567fda1c0b886a2d4c584fdc011e8135f70d032886a008b2adae25ea88a
|
|
BLAKE2b-256 checksum How to use checksums |
392a1e4d39679f5657b526c5e252325eef10c0ed98647f93c640fa15f9036cde
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | maude_se-0.0.4-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
39c0b323eaac65e1a221a70264df40f591206b3fae4816f94a0d528ecb446241
|
|
BLAKE2b-256 checksum How to use checksums |
753ccf987e904cb0cf02314ac4570dc14e7e277394c2d398bd52e54ce11aca4c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp312-cp312-manylinux_2_28_x86_64.whl
| Download URL | maude_se-0.0.4-cp312-cp312-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
a67403cf7908c283d73ceb3faede82a8e06814b514d2a5244c7afd3b66a57bc3
|
|
BLAKE2b-256 checksum How to use checksums |
33b6370b9bd6023566080aa74c690acbcd8bd727a34a28e8202bdda4b4540ab8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | maude_se-0.0.4-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
92f7cc166503d77b93ae5c9fdd4fb108550faa5d173c74c0b93be078fd700443
|
|
BLAKE2b-256 checksum How to use checksums |
f59c4cf070a5ef73ca8e224db89d019839812159498e29be04fe30f3ee65a1a4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | maude_se-0.0.4-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
553238d39560f866a8daf17708b4328aa2577058ddbe2daca1ce8c5765956746
|
|
BLAKE2b-256 checksum How to use checksums |
0da10d90ae1675fbe580f5e73fad26e8a809d6859db4dd412f376d7601a263a8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp311-cp311-manylinux_2_28_x86_64.whl
| Download URL | maude_se-0.0.4-cp311-cp311-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
1131602f18939ceb11115bc591fae55362a8e25c2387f4f0eebc4ece261c7ad9
|
|
BLAKE2b-256 checksum How to use checksums |
e55f65c0487b85e49135badcc7daf60cf66430f2c28702f3e774cc674533cbbd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | maude_se-0.0.4-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
49c8673c367948f4d5206bca93fcc670f8dddc2e3e4f0415fc8dd8b1579639d6
|
|
BLAKE2b-256 checksum How to use checksums |
41dc680471d7b8f89a601e236038888cbea4fd90f4cb098e7a0e496eada90719
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp311-cp311-macosx_10_13_x86_64.whl
| Download URL | maude_se-0.0.4-cp311-cp311-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.11 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
dacf64f4eb6844ab79e024941d565b022edb4599087c9933fbfabe218002beca
|
|
BLAKE2b-256 checksum How to use checksums |
b6de2e52769a7c7265320b1d6e5f7344b2aef9170f665eb89e954f7ac1481930
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp310-cp310-manylinux_2_28_x86_64.whl
| Download URL | maude_se-0.0.4-cp310-cp310-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
4aa2bcfe328d2fa6bd7469de2ffa50daf07bb84f69fae4f03ee849bad66d598a
|
|
BLAKE2b-256 checksum How to use checksums |
1820768e98c0f97b792307581dd893bc6fcd58c6246b1ce8d71ceb153908a4a1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | maude_se-0.0.4-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
fb50db941133f4c6e7a0ea486d6e9d3a969abce6514d0607951a73d71a79e9fa
|
|
BLAKE2b-256 checksum How to use checksums |
ce29c294a2057d7ae85090e2c3cc84815d2633ecbbe0b3a334787271976ca2c8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / maude_se-0.0.4-cp310-cp310-macosx_10_13_x86_64.whl
| Download URL | maude_se-0.0.4-cp310-cp310-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.10 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
6675f445ab1e1c04212c7d60cfdddec817f1715fe24aeeac3d1a505332949177
|
|
BLAKE2b-256 checksum How to use checksums |
4359731b9002bce56e02a9c8172bbd65d9e5c986b52c02d95fb12f8f37220dea
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency log
