This directory contains the mCRL2 toolset.

See the file INSTALL for compilation and installation instructions.

Report bugs at <http://www.mcrl2.org/issuetracker>. Please include the version
number from `mcrl22lps --version', and a complete, self-contained test case in
each bug report.

If you have questions about using the mCRL2 toolset which the documentation
does not answer, send mail to <mcrl2-users@listserver.tue.nl>.

-----

Copyright (C) 2005-2013 Eindhoven University of Technology

See the file COPYING for license information.
