Function SCIPcreateConsIndicatorLinCons 

pub unsafe extern "C" fn SCIPcreateConsIndicatorLinCons(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    name: *const c_char,
    binvar: *mut SCIP_VAR,
    lincons: *mut SCIP_CONS,
    slackvar: *mut SCIP_VAR,
    initial: c_uint,
    separate: c_uint,
    enforce: c_uint,
    check: c_uint,
    propagate: c_uint,
    local: c_uint,
    dynamic: c_uint,
    removable: c_uint,
    stickingatnode: c_uint,
) -> SCIP_RETCODE

creates and captures an indicator constraint with given linear constraint and slack variable

@note @a binvar is checked to be binary only later. This enables a change of the type in procedures reading an instance.

@note we assume that @a slackvar actually appears in @a lincons and we also assume that it takes the role of a slack variable!

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