Merge remote-tracking branch 'origin/v9-minor'

scipopt · Oct 30, 2024 · 400700d · 400700d
2 parents 2a1b8a6 + 3d1eee2
commit 400700d
Show file tree

Hide file tree

Showing 4 changed files with 1,359 additions and 141 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -192,6 +192,7 @@ Fixed bugs
 - skip aggregations on fixed variables in milp presolver to avoid errors for earlier versions of PaPILO
 - reformulate soft pseudoboolean constraints with linear constraints if the indicator decomposition is disabled
 - in lpi_highs set the presolve option in lpiSolve() to not reset the model status directly after solving the LP
+- update constraints and hashmap after each multi-aggregation to avoid key error in removeDoubleAndSingletonsAndPerformDualpresolve() of cons_setppc.c
 
 Unit tests
 ----------

diff --git a/check/CMakeLists.txt b/check/CMakeLists.txt
@@ -500,6 +500,7 @@ set(pairs_Issue
     "instances/Issue/3727.cip\;1922\;vanillafullstrong_reduced_presolving_separating_heuristics"
     "instances/Issue/3728.cip\;0\;reduced_presolving_heuristics"
     "instances/Issue/3746.cip\;0\;seed_1"
+    "instances/Issue/3752.cip\;28066\;default"
 )
 
 #