(Updated)
I am looking to simplify formulation of a MINLP problem with below formulation-
Objective Function -
$$min (\sum_{i=1}^n x_i), x_i \in I, x_i>=0 $$
Below are the constraints -
$$\sum_{i=1}^n (x_i * y_i) = C_1 , y_i \in [0,1], y_i>=0 $$
$$\sum_{i=1}^n (x_i * z_i) = C_2, z_i \in [0,1], z_i>= 0 $$
$$\sum_{i=1}^n (y_i) <= C_3, y_i \in [0,1], y_i>= 0 $$
$$\sum_{i=1}^n (z_i) <= C_4, z_i \in [0,1], z_i>= 0 $$
I am using OR package in SAS which supports MILP/NLP formulation but not MINLP. If the non-linear constraint could be simplified/approximated to linear, I could use MILP solvers for the problem.
Any direction/solution would be helpful.