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:
- 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
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.