pub unsafe extern "C" fn SCIPcheckSolutionOrbisack(
scip: *mut SCIP,
sol: *mut SCIP_SOL,
vars1: *mut *mut SCIP_VAR,
vars2: *mut *mut SCIP_VAR,
nrows: c_int,
printreason: c_uint,
feasible: *mut c_uint,
) -> SCIP_RETCODEExpand description
checks whether a given binary solution is feasible for the orbisack