Symbolic Simplification Framework in a Modelica Compiler
The aim of the study is to develop a framework for symbolic simplification algorithms in the JModelica.org compiler. It should make the procedure of adding new algorithms to the compiler easier. Instead of the fixed order currently used in the compiler, algorithms will perform their simplifications to the model equations iteratively. This opens up the possibility for more simplifications being mad