The mCRL2 toolkit can be run on a number of different platforms. For some platforms, precompiled binaries are available. The table below shows which binaries are available.
|Operating system||Release (201310.0)|
|Windows||Windows Installer (32-bit)|
|Windows Installer (64-bit)|
|Mac OS X||Mac OS X package (64-bit)|
|Ubuntu||Ubuntu PPA release|
If you are using a Linux distribution that is not listed, you may wish to try compiling mCRL2 yourself.
A nightly build can be found here.