Using SPARK as a Solver for Modelica

Using SPARK as a Solver for Modelica