For solid-liquid equilibria, the K-value is calculated from solubility. Solid-liquid equilibria may be used with all thermodynamic systems.
Available methods for calculating SLE K-values are listed below. See "Phase Equilibria" in Volume 1, Chapter 2 of the PRO/II Reference Manual for more information.