mCRL2 202206.0
This release mainly contains two new symbolic tools called lpsreach and pbessolvesymbolic and contains several bug fixes. Unfortunately, these tools are not yet available on Windows. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.