INSTALLATION and MANUAL
To compile the equivalence checker install Boost libraries and lib mpfr.
The executable is called "equiv". Equivalence can be checked by the following command:
equiv
where and contain the probabilistic automata in APEX format.