Skip to content

fix: Incorrect order of indices used in TSPTW model#4

Open
ImkoMarijnissen wants to merge 1 commit intoMiniZinc:developfrom
ImkoMarijnissen:fix/tsptw-indices
Open

fix: Incorrect order of indices used in TSPTW model#4
ImkoMarijnissen wants to merge 1 commit intoMiniZinc:developfrom
ImkoMarijnissen:fix/tsptw-indices

Conversation

@ImkoMarijnissen
Copy link
Copy Markdown

@ImkoMarijnissen ImkoMarijnissen commented Apr 2, 2026

The indexing used in the tsptw.mzn model from the 2025 challenge uses the wrong order for the indices defining durToPred.

While this does not lead to any incorrect solutions when using a symmetric distance matrix (as is the case for all the instances in the 2025 MiniZinc Challenge), it does lead to issues on other instance sets in the literature.

This fix does not lead to any changes in the produced flatzinc file for the instances used in the challenge, but it might be able to prevent people from running into this issue when reusing this model!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant