... reduction of differential-algebraic equations, make it possible to solve equations that are impossible to solve with a purely numeric-based technique. ModelingToolkit.jl is a symbolic-numeric modeling package. Thus it combines some of the features from symbolic computing packages like SymPy or Mathematica with the ideas of equation-based modeling systems like the causal Simulink and the acausal Modelica.