pub unsafe extern "C" fn SCIPsolIsPartial( sol: *mut SCIP_SOL, ) -> c_uint
returns whether the given solution is partial