All property packages
Electrolyte NRTL (CO₂–MEA) property package
Bounded electrolyte model for CO₂ capture VLE in aqueous MEA (carbamate/bicarbonate speciation + Davies activity).
The math it solves
See the flash and VLE equations this package drives — the governing equations, a cited derivation, and the exact Jacobian: