This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process streams that may arise within a chemical process: streams with sensible heat, streams with latent heat, and streams with both latent and sensible heat. As part of the optimization strategy, the superstructure is modeled with logical conditions that are used for the proper placement of heat integration for streams with change of phase. The proposed MINLP model provides the network structure that minimizes the total yearly cost. Several examples are presented to illustrate the capabilities of the proposed model.