This directory contains several third-party libraries that are used by the
mCRL2 toolset. The libraries are:

dparser    tr     sylvan

Below these libraries have a compact additional explanation.

dparser
--
This is DParser, a scannerless GLR parser. It uses the Tomita algorithm, and 
incorporates BNF production syntax, regular expression terminals, and a 
state-specific symbol table.

tr
--
This is a tile rendering package that is used to render pictures in ltsview.


sylvan
------
This is a BDD package.