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

scipopt · Sep 13, 2024 · c564898 · c564898
2 parents a97000f + 9e463a9
commit c564898
Show file tree

Hide file tree

Showing 3 changed files with 1,152 additions and 1,657 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -162,6 +162,9 @@ Fixed bugs
 - fixed that some variable type changes were not accounted correctly in presolve of linear constraints
 - fix constraint sorting in setpp-orbitope upgrade in symmetry code
 - fixed that SCIPnodeGetConsProps() also counted bound changes from propagators
+- use original and-constraints of an untransformed pseudoboolean constraint when copying original problems to avert segmentation faults
+- sort and-constraints of a pseudoboolean constraint with respect to the resultant problem indices to avoid shuffled copies
+- treat pseudoboolean constraints as nonlinear constraints in OPB reader to prevent duplication mistakes
 
 Performance improvements
 ------------------------