Bereitstellung von Tests mit Opt
@christoph.richter Damit wir diese Sprache auch ordentlich testen können, bräuchten wir noch ein Testbeispiel, mit MontiMathOpt-Code (mit Optimierungsausdruck). Könntest du bitte einige Beispiele hier reintun (kannst diese kopiern, du hast ja sicherlich einige. Nicht zu viele, es geht nur darum, zu testen, dass alle Subsprachen funktioniern):
Sobald du fertig bist, kannst du einen MR aufmachen. Wir werden diesen dann mergen, sobald die Sprache funktioniert.