param n > 0;
param m > 0;
param s {1..m};
param d {1..n};
param f {1..m};
param c {1..m, 1..n};
var x{1..m, 1..n} >= 0;
var y{1..m} binary >= 0;

minimize z: sum {i in 1..m, j in 1..n} c[i,j]*x[i,j] + sum {i in 1..m} f[i]*y[i];
subject to con1 {i in 1..m} : sum {j in 1..n} x[i,j] <= s[i]*y[i];
subject to con2 {j in 1..n} : sum {i in 1..m} x[i,j] = d[j];
subject to con3 {i in 1..m, j in 1..n} : x[i,j] >= 0;
subject to con4 {i in 1..m} : y[i] <= 1;