Skip to content

Commit 914c5a1

Browse files
committed
Merge branch 'fix-pseudoboolean-copy' into 'v91-bugfix'
Fix pseudoboolean handling See merge request integer/scip!3486
2 parents 40d27fc + a29bc80 commit 914c5a1

File tree

3 files changed

+1152
-1657
lines changed

3 files changed

+1152
-1657
lines changed

Diff for: CHANGELOG

+3
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,9 @@ Fixed bugs
3131
- fixed that some variable type changes were not accounted correctly in presolve of linear constraints
3232
- fix constraint sorting in setpp-orbitope upgrade in symmetry code
3333
- fixed that SCIPnodeGetConsProps() also counted bound changes from propagators
34+
- use original and-constraints of an untransformed pseudoboolean constraint when copying original problems to avert segmentation faults
35+
- sort and-constraints of a pseudoboolean constraint with respect to the resultant problem indices to avoid shuffled copies
36+
- treat pseudoboolean constraints as nonlinear constraints in OPB reader to prevent duplication mistakes
3437

3538
Performance improvements
3639
------------------------

0 commit comments

Comments
 (0)