small (mu == micro) collection of software components with which to build Modelling Language Engineering (MLE) tools.

Joeri Exelmans 17bff66e8e Add conformance checking example		10 月之前
bootstrap	e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API.	10 月之前
concrete_syntax	17bff66e8e Add conformance checking example	10 月之前
examples	17bff66e8e Add conformance checking example	10 月之前
framework	b69efc9af0 Fix bug in conformance checker	10 月之前
services	17bff66e8e Add conformance checking example	10 月之前
state	4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.	11 月之前
transformation	c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.	10 月之前
util	17bff66e8e Add conformance checking example	10 月之前
.gitignore	046266bfa4 Implemented State	4 年之前
README.md	046266bfa4 Implemented State	4 年之前
requirements.txt	bf88f57b16 forgot to change dependency spec	11 月之前
state.p	5e28a8d108 Missing files and requirements	3 年之前

MV2

This repository contains the code for my take on (a part of) the Modelverse for my Master's thesis.

Development packages

Some packages were used during development, but are not needed for succesful runtime (e.g. linter, autoformatter). These can be found under requirements_dev.txt.

Mandatory packages

Python packages required to succesfully run/test the code in this repository can be found under requirements.txt.

README.md

MV2

Development packages

Mandatory packages