pub unsafe extern "C" fn SCIPvarSetUbCertificateIndexGlobal(
var: *mut SCIP_VAR,
certidx: c_longlong,
)Expand description
sets index of variable in certificate
pub unsafe extern "C" fn SCIPvarSetUbCertificateIndexGlobal(
var: *mut SCIP_VAR,
certidx: c_longlong,
)sets index of variable in certificate