mCRL2org/mCRL2

mCRL2ide could be extended with options for running the tools

mlaveaux opened this issue · 1 comments

For now decided the ability to select linearisation type and rewriter, and optionally caching.

This has been implemented