A computer-implemented method of modeling a physical property of a mixture of at least two chemical species, wherein one of the chemical species is an electrolyte and another of the chemical species is a solvent, and wherein the physical property is solubility of the electrolyte, which method comprises: determining the conceptual segment(s) for each of the chemical species, including defining an identity and an equivalent number of each conceptual segment, wherein defining the identity includes identifying each conceptual segment as one of a nonelectrolyte segment selected from a hydrophobic segment, a hydrophilic segment, and a polar segment; or an electrolyte segment, wherein the electrolyte segment includes a cationic segment and an anionic segment, the cationic segment and the anionic segment both being of unity of charge; using the determined conceptual segments, computing the physical property of the mixture; and providing an analysis of the computed physical property, wherein the analysis forms a model of the physical property of the mixture, wherein computing the solubility of the electrolyte includes calculating: K sp T = ∏ C x C v C, SAT γ C ∗ v C, SAT ∏ A x A v A, SAT γ A ∗ v A, SAT ∏ M x M SAT γ M SAT, wherein: Ksp is the solubility product constant for the electrolyte, T is the temperature of the mixture, x C v C SAT is the mole fraction of a cation from the electrolyte at saturation point of the electrolyte, x A v A SAT is the mole fraction of an anion from the electrolyte at saturation point of the electrolyte, x M v M SAT is the mole fraction of a neutral molecule from the electrolyte at saturation point of the electrolyte, γ C v C ∗, SAT is the activity coefficient of the cation at the saturation concentration; γ A ∗ v A, SAT is the activity coefficient of the anion at the saturation concentration; γ M ∗ v M, SAT is the activity coefficient of the neutral molecule at the saturation concentration; C is the cation, A is the anion, M is the neutral molecule, T is the temperature of the mixture, γ* is the unsymmetric activity coefficient of a species in solution, SAT is saturation concentration, υ C is the cationic stoichiometric coefficient, υ A is the anionic stoichiometric coefficient, and υ M is the neutral molecule stoichiometric coefficient; wherein the determined conceptual segments are used to compute the activity coefficients. determining the conceptual segment(s) for each of the chemical species, including defining an identity and an equivalent number of each conceptual segment, wherein defining the identity includes identifying each conceptual segment as one of a nonelectrolyte segment selected from a hydrophobic segment, a hydrophilic segment, and a polar segment; or an electrolyte segment, wherein the electrolyte segment includes a cationic segment and an anionic segment, the cationic segment and the anionic segment both being of unity of charge; using the determined conceptual segments, computing the physical property of the mixture; and providing an analysis of the computed physical property, wherein the analysis forms a model of the physical property of the mixture, wherein computing the solubility of the electrolyte includes calculating: K sp T = ∏ C x C v C, SAT γ C ∗ v C, SAT ∏ A x A v A, SAT γ A ∗ v A, SAT ∏ M x M SAT γ M SAT, wherein: Ksp is the solubility product constant for the electrolyte, T is the temperature of the mixture, x C v C SAT is the mole fraction of a cation from the electrolyte at saturation point of the electrolyte, x A v A SAT is the mole fraction of an anion from the electrolyte at saturation point of the electrolyte, x M v M SAT is the mole fraction of a neutral molecule from the electrolyte at saturation point of the electrolyte, γ C v C ∗, SAT is the activity coefficient of the cation at the saturation concentration; γ A ∗ v A, SAT is the activity coefficient of the anion at the saturation concentration; γ M ∗ v M, SAT is the activity coefficient of the neutral molecule at the saturation concentration; C is the cation, A is the anion, M is the neutral molecule, T is the temperature of the mixture, γ* is the unsymmetric activity coefficient of a species in solution, SAT is saturation concentration, υ C is the cationic stoichiometric coefficient, υ A is the anionic stoichiometric coefficient, and υ M is the neutral molecule stoichiometric coefficient; wherein the determined conceptual segments are used to compute the activity coefficients. Ksp is the solubility product constant for the electrolyte, T is the temperature of the mixture, x C v C SAT is the mole fraction of a cation from the electrolyte at saturation point of the electrolyte, x A v A SAT is the mole fraction of an anion from the electrolyte at saturation point of the electrolyte, x M v M SAT is the mole fraction of a neutral molecule from the electrolyte at saturation point of the electrolyte, γ C v C ∗, SAT is the activity coefficient of the cation at the saturation concentration; γ A ∗ v A, SAT is the activity coefficient of the anion at the saturation concentration; γ M ∗ v M, SAT is the activity coefficient of the neutral molecule at the saturation concentration; C is the cation, A is the anion, M is the neutral molecule, T is the temperature of the mixture, γ* is the unsymmetric activity coefficient of a species in solution, SAT is saturation concentration, υ C is the cationic stoichiometric coefficient, υ A is the anionic stoichiometric coefficient, and υ M is the neutral molecule stoichiometric coefficient; wherein the determined conceptual segments are used to compute the activity coefficients.