Function SCIPseparateKnapsackCuts 

pub unsafe extern "C" fn SCIPseparateKnapsackCuts(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
    sepa: *mut SCIP_SEPA,
    vars: *mut *mut SCIP_VAR,
    nvars: c_int,
    weights: *mut c_longlong,
    capacity: c_longlong,
    sol: *mut SCIP_SOL,
    usegubs: c_uint,
    cutoff: *mut c_uint,
    ncuts: *mut c_int,
) -> SCIP_RETCODE

separates different classes of valid inequalities for the 0-1 knapsack problem