pub unsafe extern "C" fn SCIPlpiIsDualUnbounded( lpi: *mut SCIP_LPI, ) -> c_uint
returns TRUE iff LP is proven to be dual unbounded