Download mCRL2

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
Ubuntu	PPA release
Source	GZipped Tarball

If you are using a Linux distribution that is not listed, you may wish to try compiling mCRL2 yourself.

Note

A nightly build can be found here.

Previous releases

Earlier versions of mCRL2 are listed in the Previous releases of mCRL2 section.