TracNav

Download MRMC Binary and Source

Please fill in all fields below and press the Download button.
You will receive an email with the MRMC binary or source attached:

Version:
Distribution:
Name:	e.g. John M. Doe
Email address:	e.g. john.doe@cs.rwth-aachen.de
Affiliation:	e.g. RWTH Aachen University

Where did you hear about MRMC?

I agree to the terms of GPL.
Notify me about new releases.

Test Suites

For MRMC 1.5 (53MB): [Download] md5sum: cb8a55b4c826fa4971b0c514c050f7a2
For MRMC 1.4.1 (50MB): [Download] md5sum: 96a882b5dcdacfb68e4faf7a71b3108d
For MRMC 1.4 (48.8MB): [Download] md5sum: 15e9687359d7b0e66d908a6cef580db0
For MRMC 1.3 (48.8MB): [Download] md5sum: ca99fa3c8523256cb9d6bc3c47cf5eaf

Related Patches

For MRMC 1.5: David N. Jansen's patch for a new sparse matrix data structure: optimized for bisimulation minimisation. This patch may cause a performance hit in the simulation engine.

To apply this patch, download the source distribution of version 1.5 and this patch, go to the directory where you placed the source distribution and call patch from your shell with a command like:
```
cd ..../mrmc_src_v1.5
patch -p0 < mrmc-1.5-alternate-matrix.patch
```
After that, continue compiling MRMC with make all as usual.