.. index:: mcrl2i

.. _tool-mcrl2i:

mcrl2i
======

This tool serves as a simple REPL (read-eval-print-loop) for the mCRL2 data
language. It supports rewriting of expressions as well as solving Boolean
expressions using enumeration. Details about each of the commands can be found
in the manual page below.


.. include:: man/mcrl2i.rst