mCRL2 202206.0
·
5 commits
to release-202206
since this release
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.