pub unsafe extern "C" fn SCIPgetAndDatasPseudoboolean(
scip: *mut SCIP,
cons: *mut SCIP_CONS,
andconss: *mut *mut SCIP_CONS,
andcoefs: *mut f64,
nandconss: *mut c_int,
) -> SCIP_RETCODEExpand description
gets and-constraints of pseudoboolean constraint