All property packages
Ionic liquid (non-volatile entrainer) property package
Modified-UNIFAC (Dortmund) activity model extended with ionic-liquid group decompositions, where the IL is treated as INVOLATILE (K = 0) in the flash. For extractive-distillation entrainer screening — an IL such as [EMIM][BF4] binds water and raises ethanol's relative volatility ~2.8×, breaking the azeotrope. Components use the IL ids emim_bf4 / bmim_bf4 / hmim_bf4 / bmpy_bf4 (bmim_pf6 for non-aqueous). Bounded: the phase split is validated; the IL's pure-component enthalpy is omitted (screening), so a rigorous IL-column energy balance is a follow-up.