Download Latest Version maude-v0.1.2.3.zip (589.8 MB)
Email in envelope

Get an email when there's a new version of maude

Home / v0.1.0
Name Modified Size InfoDownloads / Week
Parent folder
models.tar.gz 2022-03-27 142.0 MB
0
models.zip 2022-03-27 142.1 MB
0
maude-v0.1.0.tar.gz 2022-03-19 142.6 MB
0
maude-v0.1.0.zip 2022-03-19 142.8 MB
0
README.md 2022-03-19 261 Bytes
0
v0.1.0.tar.gz 2022-03-19 98.1 kB
0
v0.1.0.zip 2022-03-19 108.8 kB
0
Totals: 7 Items   569.6 MB 0

First public release with models included

Installation

  • Create a venv e.g python3 -m venv maude and activate it.
  • Unzip or untar release archive and change to the maude directory.
  • Run install.cmd or install.sh.
  • Run maude or maude.sh.
Source: README.md, updated 2022-03-19