The muCRL-toolset is a collection of tools for manipulating process and data descriptions written in the language muCRL (micro Common Representation Language).
The toolset was created by Jan Friso Groote and Bert Lisser at CWI. For the original version see http://homepages.cwi.nl/~mcrl/mutool.html.
The development of muCRL is discontinued, and development of its successor mCRL2 has been taken op by Jan Friso Groote's research group at Eindhoven University of Technology, see http://www.mcrl2.org.
The version in this repository started of as a clone of muCRL version 2.18.5, obtained from http://homepages.cwi.nl/~mcrl/mcrl-2.18.5.tar.gz (accessed 8 March 2013).
The muCRL toolset is available under version 2 of the GNU General Public Licene. (GNU GPL v2).