Merge branch 'pm/iis_dynbatching' into 'master'

IIS finder greedy: Dynamic batch sizing

See merge request integer/scip!3811

Author: DominikKamp

CHANGELOG

@@ -16,7 +16,7 @@ Features
 - added functionality to deal with hypergraphs by means of efficient access to vertices, edges and intersections edges.
 - added support for (transposed) network matrix detection in pub_network.h
 - added a new presolver presol_implint which detects implied integral variables by detecting (transposed) network submatrices in the problem. For now, this plugin is disabled by default.
-- added new plugin type for finding irreducible infeasible subsystems (IIS). Users can now include their own IIS algorithms. Basic addition and deletion based algorithm implemented in iisfinder_greedy.
+- added new plugin type for finding irreducible infeasible subsystems (IIS). Users can now include their own IIS algorithms. Greedy addition and deletion based algorithm with dynamic batch sizing implemented in iisfinder_greedy.
 - added a new data structure SCIP_DATATREE that holds serializable data and a method to export to a JSON file
 - added ability to collect statistics from tables in a SCIP_DATATREE and write out as JSON file;
   dialog write statistics now writes a JSON file if name of file to write ends with .json
@@ -207,7 +207,7 @@ Interface changes
 - new parameter "presolving/implint/convertintegers" to control whether implied integrality should also be detected for enforced integral variables
 - new parameter "presolving/implint/columnrowratio" indicates the ratio of rows/columns where the row-wise network matrix detection algorithm is used instead of the column-wise network matrix detection algorithm
 - new parameter "presolving/implint/numericslimit" determines the limit for absolute integral coefficients beyond which the corresponding rows and variables are excluded from implied integrality detection
-- iis/minimal, iis/nodes, iis/removedbounds, iis/removeunusedvars, iis/silent, iis/stopafterone, iis/time, iis/greedy/additive, iis/greedy/conservative, iis/greedy/delafteradd, iis/greedy/dynamicreordering, iis/greedy/maxbatchsize, iis/greedy/maxrelbatchsize, iis/greedy/nodelimperiter, iis/greedy/priority, iis/greedy/timelimperiter
+- iis/minimal, iis/nodes, iis/removedbounds, iis/removeunusedvars, iis/silent, iis/stopafterone, iis/time, iis/greedy/additive, iis/greedy/conservative, iis/greedy/delafteradd, iis/greedy/dynamicreordering, iis/greedy/initrelbatchsize, iis/greedy/initbatchsize, iis/greedy/maxrelbatchsize, iis/greedy/maxbatchsize, iis/greedy/batchupdateinterval, iis/greedy/batchingoffset, iis/greedy/batchingfactor, iis/greedy/nodelimperiter, iis/greedy/priority, iis/greedy/timelimperiter
 - new parameters "constraints/orbitope_full/forceconscopy" and "constraints/orbitope_pp/forceconscopy" to control whether non-model constraints of type full orbitope and packing/partitioning orbitope are copied to sub-SCIPs, respectively
 - new parameter "write/implintlevel" to control if integrality constraints should be written for implied integral variables (regarded by cip, mps, lp, rlp, pip, fzn, and gms writers)
 - new parameter "presolving/milp/enablecliquemerging" to enable clique merging in PaPILO

src/scip/iisfinder.c

@@ -411,6 +411,7 @@ SCIP_RETCODE SCIPiisGenerate(
       SCIPdebugMsg(iis->subscip, "----- STARTING GREEDY SINGLETON DELETION ALGORITHM. ATTEMPT TO ENSURE IRREDUCIBILITY -----\n");
 
       SCIP_CALL( SCIPiisGreedyMinimize(iis) );
+      assert( iis->infeasible );
    }
 
    /* Remove redundant constraints that potentially are left over from indicator constraints,