pub unsafe extern "C" fn SCIPisIntParamValid( scip: *mut SCIP, param: *mut SCIP_PARAM, value: c_int, ) -> c_uint
checks whether the value of an existing int parameter is valid