pub unsafe extern "C" fn SCIPsolIsExact(sol: *mut SCIP_SOL) -> c_uint
returns whether a solution is an exact rational solution