pub unsafe extern "C" fn SCIPaddCoefLogicor( scip: *mut SCIP, cons: *mut SCIP_CONS, var: *mut SCIP_VAR, ) -> SCIP_RETCODE
adds coefficient in logic or constraint