randomization/permutevars
is set to FALSE.vanillafullstrong
, mostly for scientific purpose, with the following features: 1) no cutoff or domain reduction: only branching; 2) idempotent (optional): leave SCIP, as much as possible, in the same state before / after the strong branching callsconflict/uselocalrows
is set to TRUE.SCIP_DECL_DIVESETAVAILABLE
to check preconditions for this dive set, e.g., if an incumbent solution is available, which is passed as new argument to SCIPcreateDiveset(). SCIPcreateDiveset() has another new parameter "ispublic".SCIP_DECL_CONSHDLRCOPY
and SCIP_DECL_CONSCOPY
in cons_orbisack and cons_symresackidempotent
argument to SCIPgetVarStrongbranchInt() and SCIPgetVarStrongbranchFrac(), so that statistics are not updated during the call. Likewise, new updatecol
and updatestat
arguments to SCIPcolGetStrongbranch().SCIP_DECL_CONSHDLRENFOLP
can now also return SCIP_SOLVELP as *result, which indicates to the SCIP core that the LP relaxation should be solved again because the primal feasibility tolerance of the LP has been tightened (using SCIPsetLPFeastol())