Function SCIPvarMayRoundDown 

pub unsafe extern "C" fn SCIPvarMayRoundDown(
    var: *mut SCIP_VAR,
) -> c_uint

is it possible, to round variable down and stay feasible?

@note This method will always check w.r.t variable locks of type model