Крайние значения current_moving_operation.

src/constraints/conversion_2.mzn

@@ -14,6 +14,11 @@ array [1..n_moving_obj, 1..n_operations] of bool : moving_op_of_obj;
     % Текущая операция операция перемещения, в которой задействован данный объект.
     array [1..n_moving_obj, 0..(n_intervals + 1)] of var 0..n_operations : current_moving_operation;
 
+    % Крайние значения.
+    constraint forall (obj in 1..n_moving_obj, t in {0, n_intervals + 1}) (
+        current_moving_operation[obj, t] = 0
+    );
+
     % Текущая операция лежит в множестве тех, которые затрагивают данный объект.
     constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) (
         (current_moving_operation[obj, t] != 0) -> moving_op_of_obj[obj, current_moving_operation[obj, t]]