All property packages
UNIQUAC property package
Activity-coefficient model for polar / alcohol-water VLE (azeotropes).
The math it solves
See the flash and VLE equations this package drives — the governing equations, a cited derivation, and the exact Jacobian: