pub unsafe extern "C" fn SCIPlpIsSolved(lp: *mut SCIP_LP) -> c_uint
returns whether the current LP is flushed and solved