Modelica does not require causality to be assigned in equations. This means that a Modelica solver, such as Dymola, must be able to solve an equation independent on which of the variables are inputs and which are unknowns. To test this in Dymola an example based on flying a...
Experiments with causality (Project Hail Mary physics)