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 (201707.1)
Windows Windows Installer (64-bit)
Windows ZIP (64-bit)
Mac OS X Mac OS X DMG (64-bit)
Ubuntu Ubuntu PPA release
Fedora Fedora RPM (64-bit)
Source GZipped Tarball

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 (201707.1.15049)
Windows Windows Installer (64-bit)
Windows ZIP (64-bit)
Mac OS X Mac OS X 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

  • Running LTSgraph on Windows with an NVDIA GPU might result in a crash. There are two workarounds for this: disabling the drawing of state and transition labels resolves the issue. This can be done by starting LTSgraph without arguments and disabling these options in the visualisation pane. The other option is to force LTSgraph to use the integrated Intel or AMD GPU, if available. This can be done using the NVIDIA control panel.

Previous releases

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

Table Of Contents

Previous topic

mCRL2 user documentation

Next topic

Previous releases of mCRL2