All property packages
CoolProp (ideal) property package
Pure-component / ideal-solution properties from CoolProp.
The math it solves
See the flash and VLE equations this package drives — the governing equations, a cited derivation, and the exact Jacobian: