From af524eac7ac91213c6d9fd46af661f632573fc66 Mon Sep 17 00:00:00 2001 From: Hakan Kjellerstrand Date: Tue, 27 May 2025 19:21:48 +0200 Subject: [PATCH] Syntax error in train-scheduling/trains.mzn The "... \(s1,s2)" construct throws a syntax error in MiniZinc 2.9.3: < "Non symmetric line \(s1,s2)\n")); --- > "Non symmetric line \(s1),\(s2)\n")); --- 2024/train-scheduling/trains.mzn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/2024/train-scheduling/trains.mzn b/2024/train-scheduling/trains.mzn index d84f62c..5dc3996 100755 --- a/2024/train-scheduling/trains.mzn +++ b/2024/train-scheduling/trains.mzn @@ -44,7 +44,7 @@ constraint forall(s in STOP)(assert(travel_time[s,dstop] = 0 /\ travel_time[dsto constraint assert(min_sep >= 0, "min_sep is negative\n"); constraint forall(s in SERVICE)(assert(service_end[s] >= service_start[s], "service \(s) start end time problem\n")); constraint forall(s1, s2 in STOP where s1 <= s2)(assert(line[s1,s2] = line[s2,s1] , - "Non symmetric line \(s1,s2)\n")); + "Non symmetric line \(s1),\(s2)\n")); %%%% line type agrees with travel time constraint forall(st1, st2 in STOP)(assert((absent(travel_time[st1,st2]) \/ travel_time[st1,st2] = 0) <->line[st1,st2] = NONE,