Download
Table of contents
Prerequisite
MaudeSE supports various SMT solvers such as Z3, CVC4, CVC5, and Yices. MaudeSE provides connections to their Python bindings. Among these solvers, The Yices Python binding requires the Yices executable to be installed.
Please follow the instructions of https://github.com/SRI-CSL/yices2 to install the Yices executable.
Installation
Use pip to download the latest version of MaudeSE.
$ pip install maude-se
As another option, we provide Python wheels for MaudeSE through our GitHub repository: https://github.com/postechsv/maude-se/releases.
Download one of the wheels that matches your OS (either MacOS or Linux) and machine architecture (either arm64 or x86_64) and install using the following command:
$ pip install ./maude_se-<MAUDE_SE_VERSION>-cp<YOUR_PYTHON_VERSION>-cp<YOUR_PYTHON_VERSION>-<YOUR_OS>_<YOUR_ARCH>.whl
MaudeSE requires Python version 3.8 or newer.
Use the following command to test successful installation.
$ maude-se -h
If the installation was successful, you can see the following message.
usage: maude-se [-h] [-s [SOLVER]] [-no-meta] [file]
positional arguments:
file input Maude file
options:
-h, --help show this help message and exit
-s [SOLVER], -solver [SOLVER]
set an underlying SMT solver
* Supported solvers: {z3,yices,cvc5}
* Usage: -s cvc5
* Default: -s z3
-no-meta no metaInterpreter