Rob
Ansys Employee

It will use the two sets of equations in the Fluent documentation. However the solidification model freezes the flow in the "solid" cells so I'm not sure if you'll get what you want when you also add in the non-equilibrium model.