Skip to content

Commit 6c50388

Browse files
committed
Merge branch 'fix-pseudoboolean-indicator' into 'v91-bugfix'
Fix pseudoboolean indicator See merge request integer/scip!3548
2 parents b328e8b + fd5ce2d commit 6c50388

File tree

3 files changed

+225
-288
lines changed

3 files changed

+225
-288
lines changed

CHANGELOG

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ Fixed bugs
1111
- correct bound tracking to make the evaluation of primal-dual-integrals work
1212
- update locks on model variables before removing pseudoboolean constraints in consPresolPseudoboolean()
1313
- skip aggregations on fixed variables in milp presolver to avoid errors for earlier versions of PaPILO
14+
- reformulate soft pseudoboolean constraints with linear constraints if the indicator decomposition is disabled
1415

1516
Unit tests
1617
----------

0 commit comments

Comments
 (0)