pub unsafe extern "C" fn SCIPlpIsSolBasic(lp: *mut SCIP_LP) -> c_uint
returns whether the current LP solution is a basic solution