Function SCIPisDivesetAvailable 

pub unsafe extern "C" fn SCIPisDivesetAvailable(
    scip: *mut SCIP,
    diveset: *mut SCIP_DIVESET,
    available: *mut c_uint,
) -> SCIP_RETCODE

check specific preconditions for diving, e.g., if an incumbent solution is available