.. index:: mcrl2xi

.. _tool-mcrl2xi:

mcrl2xi
=========

mcrl2xi is a graphical text editor to write and validate mCRL2 specifications.
To help the user write correct data specifications, it is also possible to
rewrite and solve data expressions.


.. include:: man/mcrl2xi.rst