An IDE for users that are new to the mCRL2 tool-set - This repository is outdated as the tool has been added to the main mCRL2 repository
Primary LanguageC++
No one’s star this repository yet.