pub unsafe extern "C" fn SCIPlpiHasDualRay( lpi: *mut SCIP_LPI, ) -> c_uint
returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point), and the solver knows and can return the dual ray