Skip to content

Commit a29bc80

Browse files
DominikKampGioniMexi
authored andcommitted
Fix pseudoboolean handling
1 parent 40d27fc commit a29bc80

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)