Упрощение.

src/constraints/conversion_2.mzn

@@ -274,11 +274,9 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац
             storage_used_volume[storage, 0, cargo] = initial_storage_vol[storage, cargo]
         );
 
-        constraint forall (storage in 1..n_obj_with_storage, cargo in 1..n_cargo_types) ( % Final values.
-            if final_storage_vol[storage, cargo] >= 0 then
-                storage_used_volume[storage, n_intervals + 1, cargo] == final_storage_vol[storage, cargo]
-            else true
-            endif
+        constraint forall (storage in 1..n_obj_with_storage, cargo in 1..n_cargo_types % Final values.
+                            where final_storage_vol[storage, cargo] >= 0) (
+                storage_used_volume[storage, n_intervals + 1, cargo] = final_storage_vol[storage, cargo]
         );
 
     % Изменение грузов в хранилищах.