Synthesis of 8 Processes
LogMIP Input file for this problem.

The problem has the following formulation:

s.t.
Mass Balances
:
Specifications:
Disjunctions:
Logic Propositions: