Trong SETS chung hình thành trong evacu8.lng, ràng buộc này được viết như sau:
! Đối với mỗi k nút và khoảng thời gian t;
FOR (NXT (k, t) | t # GT # 1:
[BAL] V (k, t) = V (k, t-1) -SUM (nxn (k , j): X (k, j, t))
+ @ SUM (nxn (i, k) | t-LT (i, k) # GT # 0: X (i, k, t-LT (i, k )));
);
đang được dịch, vui lòng đợi..