/** \mainpage PBES reference manual
 *
 * The PBES library provides the facilities to handle <i>Parameterised Boolean
 * Equation Systems</i> (PBES). Using the library, a PBES can be read from/written
 * to file, and complex operations can be applied to them.
 *
 * These pages contain the reference manual for this library.
 *
 * More information about this library can be found in the <a
 * href="http://www.mcrl2.org/mcrl2/wiki/index.php/PBES_library">PBES user manual</a>.
 */
