Skip to content

Commit 55360da

Browse files
committed
Merge branch 'fix-pseudoboolean-presolve-noands' into 'v92-bugfix'
fix issues with pseudoboolean constraints when there are no and-constraints See merge request integer/scip!3561
2 parents 9136f95 + 923ce0c commit 55360da

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/scip/cons_pseudoboolean.c

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5005,6 +5005,9 @@ SCIP_RETCODE correctConshdlrdata(
50055005
assert(conshdlrdata != NULL);
50065006
assert(ndelconss != NULL);
50075007

5008+
if( conshdlrdata->nallconsanddatas == 0 )
5009+
return SCIP_OKAY;
5010+
50085011
allconsanddatas = conshdlrdata->allconsanddatas;
50095012
assert(allconsanddatas != NULL);
50105013
assert(conshdlrdata->nallconsanddatas >= 1);

0 commit comments

Comments
 (0)