Function SCIPaddConflictRelaxedLb 

pub unsafe extern "C" fn SCIPaddConflictRelaxedLb(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    bdchgidx: *mut SCIP_BDCHGIDX,
    relaxedlb: f64,
) -> SCIP_RETCODE

adds lower bound of variable at the time of the given bound change index to the conflict analysis’ candidate storage with the additional information of a relaxed lower bound; this relaxed lower bound is the one which would be enough to explain a certain bound change; this method should be called in one of the following two cases:

1. Before calling the SCIPanalyzeConflict() method, SCIPaddConflictRelaxedLb() should be called for each (relaxed) lower bound that led to the conflict (e.g. the infeasibility of globally or locally valid constraint).
2. In the propagation conflict resolving method of a constraint handler, SCIPaddConflictRelexedLb() should be called for each (relaxed) lower bound, whose current assignment led to the deduction of the given conflict bound.

@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.

@pre This method can be called if SCIP is in one of the following stages: - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_SOLVING

@note SCIP stage does not get changed