pub unsafe extern "C" fn SCIPisCertified(scip: *mut SCIP) -> c_uint
returns whether certificate output is activated