pub unsafe extern "C" fn SCIPlpIsRelax(lp: *mut SCIP_LP) -> c_uint
returns whether the current LP is a relaxation of the problem for which it has been solved and its solution value a valid local lower bound?