SCIPcertifyConsOrigExactLinear

scip_sys

Function SCIPcertifyConsOrigExactLinear 

Source 
pub unsafe extern "C" fn SCIPcertifyConsOrigExactLinear(
    scip: *mut SCIP,
    conshdlr: *mut SCIP_CONSHDLR,
    cons: *mut SCIP_CONS,
) -> SCIP_RETCODE
Expand description

prints the certificate for a given original exact linear constraint