zimpl中意外的VARSYM

Question

我的Zimpl代码中出现意外的VARSYM。这是我的代码的一部分：

param T := 0.8;
var S[Sensors] binary;

minimize nb_sensors : sum < i > in Sensors : S[ i ];

subto fd:

     1- prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k])  >= T;

似乎错误是因为我有一个变量（S[]）在函数内部（prod），你对这个问题有什么想法吗？

Answer 1

什么是T，变量还是常数？您是否尝试用括号编写产品：

1- (prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]))  >= T;

或重写为：

prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]) + T <= 1;