mCRL2 201808.0
·
2 commits
to release-201808
since this release
This release sees the addition of two new tools: pbessolve, which can generate counter-examples, and mcrl2ide, which provides a user-friendly interface for basic functionality. See the file CHANGES for a complete overview. The release is also provided on our website. The binaries are only suitable for 64bit operating systems. The ubuntu release is available in a PPA.