pub unsafe extern "C" fn SCIPaddConsElemConjunction( scip: *mut SCIP, cons: *mut SCIP_CONS, addcons: *mut SCIP_CONS, ) -> SCIP_RETCODE
adds constraint to the conjunction of constraints