pub unsafe extern "C" fn SCIPcreateConsPseudoboolean(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    name: *const c_char,
    linvars: *mut *mut SCIP_VAR,
    nlinvars: c_int,
    linvals: *mut f64,
    terms: *mut *mut *mut SCIP_VAR,
    nterms: c_int,
    ntermvars: *mut c_int,
    termvals: *mut f64,
    indvar: *mut SCIP_VAR,
    weight: f64,
    issoftcons: c_uint,
    intvar: *mut SCIP_VAR,
    lhs: f64,
    rhs: f64,
    initial: c_uint,
    separate: c_uint,
    enforce: c_uint,
    check: c_uint,
    propagate: c_uint,
    local: c_uint,
    modifiable: c_uint,
    dynamic: c_uint,
    removable: c_uint,
    stickingatnode: c_uint
) -> SCIP_RETCODE
Expand description

creates and captures a pseudoboolean constraint

@note linear and nonlinear terms can be added using SCIPaddCoefPseudoboolean() and SCIPaddTermPseudoboolean(), respectively

@note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()

@note intvar must currently be NULL