The multiscale multidimensional spatio-temporal meta model checker Mule is made available in binary (installer) format, as a Docker image, or as source code. Throughout the considered meta model checker instance corresponds to the spatial entity types and measures described in the following meta model checking configuration file.


 Platform     Package  Size (bytes)
 Linux (x64)
 Windows (x86)
 mule-windows-i386.exe  15,144,162

Binaries for other platforms can be made available upon request.


The Docker image containing the Mule source code and all dependent applications/libraries is made available here via the Docker Hub Registry.

For more details on how to generate a case-study specific instance of the meta model checker using the Docker image see the corresponding tutorial.

Source code

The source code is made freely available in the release and development GitHub repositories.