v3.0.2

Fix issue where libxml2 was made a mandatory dependency.

v3.0.1

Update changelog for 3.0.1.

v3.0.0

Update flag for static linking in readme.

kant-thesis-experiments

testsuite: increase tablesizes for Sylvan BDDs/LDDs.

LTSmin 2.1 release

fix mcrl2 m4 to work with newest SVN version.

TACAS 2015

This version is the one presented in our TACAS 2015 submission.

SCP Graphite 2014

This version is the one presented in our submission to the Graphite 2014 special issue of Science of Computer Programming.