Download

From MCRL2

Latest Release: July 2010 (SVN revision 8071)

NOTE: Please un-install all other versions of mCRL2 before upgrading

	File	Type	Platforms	Notes
Binary	mcrl2-201007-win32.exe	Installer	Windows	Please read installation instructions before using
Binary	mcrl2-201007-Ubuntu_10.04_(i686)	Deb Installer	Ubuntu 10.04 (i686)
Binary	mcrl2-201007-Ubuntu_10.04_(x86_64)	Deb Installer	Ubuntu 10.04 (x86 64)
Binary	mcrl2-201007-OpenSuSE_11.3_(x86_64)	RPM Installer	OpenSUSE 11.3 (x86 64)
Binary	mcrl2-201007-Darwin	DMG Installer	MacOS-X 10.5 / 10.6 (32-bit)
Source	mcrl2-201007-src.tar.gz	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

Please read the installation instructions for installing the toolset.

Changes with respect to the previous release:

• the list of changes

View our list of previous releases. Our next release is scheduled for January 2011.

Development versions

NOTE: Please un-install all other versions of mCRL2 before upgrading
You may encounter unexpected behaviour when executing tools.

	File	Type	Platforms	Notes
Binary	mcrl2-svn8097-win32.exe	Installer	Windows	Please read FAQ before using
Binary	mcrl2-svn7748-Darwin.dmg	DMG-Disk image	Mac OS X
Binary	mcrl2-svn8041-Fedora_release_10_(Cambridge)_(x86_64).rpm	RPM Installer	Fedora 10 (x86 64)
Binary	mcrl2-svn7817-openSUSE_11.2_(x86_64).rpm	RPM Installer	openSuSE 11.2 (x86 64)
Binary	mcrl2-svn8097-Ubuntu_9.10_(i686).deb	DEB Installer	Ubuntu 9.10 (i686)
Binary	mcrl2-svn8097-Ubuntu_10.04.1_LTS_(x86_64).deb	DEB Installer	Ubuntu 9.10 (x86 64)
Source	mcrl2-svn8094-src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

Subversion: Check out a copy of our SVN source tree to a directory DIR by running:

svn checkout https://svn.win.tue.nl/repos/MCRL2/trunk DIR

Please read the CMake build instructions for installing the toolset from source with cmake.

Please read the Build instructions for installing the toolset from source with boost build.

License Information

The source code of the toolset is distributed under the Boost license. In essence this says that the toolset can be used both academically and commercially, as long as the authors of the toolset are adequately (scientifically) acknowledged. The distribution contains some third-party libraries. The licenses under which these libraries have originally been released, still apply.