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 (201210.1)|
|Windows||Windows Installer (32-bit)|
|Windows Installer (64-bit)|
|Mac OS X (Darwin)||Darwin package|
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.