pub unsafe extern "C" fn SCIPincludeIISfinder(
scip: *mut SCIP,
name: *const c_char,
desc: *const c_char,
priority: c_int,
iisfindercopy: Option<unsafe extern "C" fn(scip: *mut SCIP, iisfinder: *mut SCIP_IISFINDER) -> SCIP_RETCODE>,
iisfinderfree: Option<unsafe extern "C" fn(scip: *mut SCIP, iisfinder: *mut SCIP_IISFINDER) -> SCIP_RETCODE>,
iisfinderexec: Option<unsafe extern "C" fn(iis: *mut SCIP_IIS, iisfinder: *mut SCIP_IISFINDER, result: *mut SCIP_RESULT) -> SCIP_RETCODE>,
iisfinderdata: *mut SCIP_IISFINDERDATA,
) -> SCIP_RETCODEExpand description
creates an IIS finder and includes it in SCIP
@note this method has all IIS finder callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludeIISfinderBasic() and setter functions if you seek for a method which is less likely to change in future releases