monticore / EmbeddedMontiArc / languages / MontiMathOpt