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 (202206.1) 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.
Directly installable packages of the mCRL2 toolset are constructed every night. They are available here.
Operating system Nightly build (202206.1.3eaa4449cc) Windows Windows Installer (64-bit) Windows ZIP (64-bit) macOS macOS DMG (64-bit) Ubuntu 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.
There are no major known issues at the moment.
Earlier versions of mCRL2 are listed in the Previous releases of mCRL2 section.