pub unsafe extern "C" fn SCIPvarSetCertificateIndex( var: *mut SCIP_VAR, certidx: c_int, )
sets index of variable in certificate