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

scip-ci · scip-ci · commit 3fb7eab95dd2 · 2026-01-12T11:15:13.000+01:00
diff --git a/src/scip/presol_milp.cpp b/src/scip/presol_milp.cpp
@@ -428,6 +428,9 @@ SCIP_RETCODE setupPresolve(
    }
 #endif
 
+
+
+
    /* exhaustive presolvers*/
    presolve.addPresolveMethod( uptr( new ImplIntDetection<T>() ) );
    if( data->enabledualinfer )
@@ -444,6 +447,10 @@ SCIP_RETCODE setupPresolve(
       {
          probing->set_max_badge_size( data->maxbadgesizepar );
       }
+#if PAPILO_API_VERSION >= 12
+      // TODO: enable this after performance test. On MIPLIB this brought 3% on instances with cliques.
+      probing->set_numcliquefails(0);
+#endif
       presolve.addPresolveMethod( uptr( probing ) );
 #else
       presolve.addPresolveMethod( uptr( new Probing<T>() ) );

Original file line number	Diff line number	Diff line change
`@@ -428,6 +428,9 @@ SCIP_RETCODE setupPresolve(`
`428`	`428`	`}`
`429`	`429`	`#endif`
`430`	`430`
	`431`	`+`
	`432`	`+`
	`433`	`+`
`431`	`434`	`/* exhaustive presolvers*/`
`432`	`435`	`presolve.addPresolveMethod( uptr( new ImplIntDetection<T>() ) );`
`433`	`436`	`if( data->enabledualinfer )`
`@@ -444,6 +447,10 @@ SCIP_RETCODE setupPresolve(`
`444`	`447`	`{`
`445`	`448`	`probing->set_max_badge_size( data->maxbadgesizepar );`
`446`	`449`	`}`
	`450`	`+#if PAPILO_API_VERSION >= 12`
	`451`	`+ // TODO: enable this after performance test. On MIPLIB this brought 3% on instances with cliques.`
	`452`	`+ probing->set_numcliquefails(0);`
	`453`	`+#endif`
`447`	`454`	`presolve.addPresolveMethod( uptr( probing ) );`
`448`	`455`	`#else`
`449`	`456`	`presolve.addPresolveMethod( uptr( new Probing<T>() ) );`