A mathematical modeling framework that represents all potential heat exchange matches and stream configurations across sequential stages. It enables optimization algorithms to evaluate millions of layout possibilities to find the most cost-effective network design.