Download the latest release of mCRL2

The mCRL2 toolkit can be run on a number of different platforms. For some platforms, precompiled binaries are available. The table below provides the latest release of the toolset.

Operating system

Release (202106.0)

Windows

Windows Installer (64-bit)

Windows ZIP (64-bit)

macOS

macOS DMG (64-bit)

Ubuntu

Ubuntu PPA release

Fedora

Fedora RPM (64-bit)

Source

GZipped Tarball

Stable releases for Arch Linux are available via the Arch User Repository. This package is currently maintained by Jorai Rijsdijk.

Note

The Windows release has received a minor fix on the 12th of July, 2021, which resolves not being able to open mcrl2ide from mcrl2-gui.

Download a nightly build of mCRL2

Directly installable packages of the mCRL2 toolset are constructed every night. They are available here.

Operating system

Nightly build (202106.0.13604cba9a)

Windows

Windows Installer (64-bit)

Windows ZIP (64-bit)

macOS

macOS DMG (64-bit)

Ubuntu

Ubuntu DEB (32-bit)

Ubuntu DEB (64-bit)

Fedora

Fedora RPM (64-bit)

Source

GZipped Tarball

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

Known issues

There are no major known issues at the moment.

Previous releases

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