All property packages
Soave-Redlich-Kwong (EoS) property package
Cubic EoS for hydrocarbons / light gases; an alternative to Peng-Robinson.
The math it solves
See the flash and VLE equations this package drives — the governing equations, a cited derivation, and the exact Jacobian: