A mathematical optimization framework that simultaneously handles discrete decisions, such as equipment selection, and non-linear physical behaviors, such as heat transfer equations. It is essential in thermal engineering for finding the absolute lowest-cost configurations for complex energy systems.