This paper describes an improved, equation oriented user friendly version of the modular computer package PROSYN-a mixed-integer nonlinear programming (MINLP) process synthesizer. A number of strategies are described and implemented for the outer approximation and equality relaxation algorithm (OA/ER) in order to reduce the undesirable effects of nonstructured nonconvexities in the master problem. These strategies include use of valid outer-approximations for splitters and mixers and various ways of handling the linearizations. An NLP initializer, model generator and a comprehensive library of models for basic process units and interconnection nodes, and a comprehensive library of basic physical properties have been developed and built in the PROSYN package. In this way PROSYN can be used to solve problems at different levels of complexity : from the simple NLP flowsheeting up to the MINLP synthesis through the modeling and decomposition (M/D) strategy and simultaneous heat integration including HEN costs. Applications with PROSYN are demonstrated with several example problems.