Комментарий и заметка.

src/constraints/conversion_2.mzn

@@ -220,7 +220,7 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац
                 \/
             ((participation_as_resource[obj, t] != 0) /\ (not is_moving_operation[participation_as_resource[obj, t]]))
     );
-
+    % Операции перемещения исключают операции грузообработки и наоборот.
     constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) (
         is_involved_in_cargo_op[obj, t] -> (current_moving_operation[obj, t] = 0)
     );
@@ -244,6 +244,9 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац
                   ((not is_moving_operation[op]) -> (current_moving_operation[obj, t] = 0))
                  )
     );
+    /* TODO узнать, как ((not is_moving_operation[op]) -> (current_moving_operation[obj, t] = 0)) влияет на производительность -
+        по идее это не нужно, но на v2-60 без неё гораздо лучше чем с ней.
+    */
 
     % Наличие и готовность главных объектов (субъектов).
     constraint forall (op in 1..n_operations, t in 1..n_intervals, obj = main_obj_of_operation[op]) (