“…] and are not directly applicable to aqueous electrolyte system. However, thermodynamic models have also been developed for electrolyte solutions (see Prausnitz, et al 1999) including Pitzer equations (Pitzer, 1977), the electrolyte NRTL equation (Chen & Song, 2005), the electrolyte Predictive SRK (ePSRK) equation (Kiepe et al, 2005), the GHC equation , the eCPA equation (MoriboMogensen et al, 2015), and variants of Statistical Associating Fluid Theory or SAFT (Chapman et al, 1990). Unfortunately, many of the rigorous EoS models such as the recent modifications for the activity coefficient part of the ePSRK model, LIQUAC/LIFAC, by Mohs and Gmehling (2013) mention salt precipitation but present no results illustrating capabilities and do not consider simultaneous homogeneous chemical reaction.…”