Final release with mCRL2 dependency

This is the final release of pgconvert with a dependency on mCRL2. Future releases will use the command line and logging libraries from a separate repository.

Tag version used in JK's thesis

This is the pgconvert version used for the experiments in the thesis J.J.A.Keiren. Advanced Reduction Techniques for Model Checking.TU/e. 2013.