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())