Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to include specific presolvers into SCIP

This module contains methods to include specific presolvers into SCIP.

Note
All default plugins can be included at once (including all default presolvers) using SCIPincludeDefaultPlugins()

Functions

SCIP_RETCODE SCIPincludePresolBoundshift (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolConvertinttobin (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolDomcol (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolDualagg (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolDualcomp (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolDualinfer (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolGateextraction (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolImplics (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolInttobinary (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolMILP (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolQPKKTref (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolRedvub (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolStuffing (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolTrivial (SCIP *scip)
 
SCIP_RETCODE SCIPincludePresolTworowbnd (SCIP *scip)
 

Function Documentation

◆ SCIPincludePresolBoundshift()

◆ SCIPincludePresolConvertinttobin()

◆ SCIPincludePresolDomcol()

SCIP_RETCODE SCIPincludePresolDomcol ( SCIP scip)

creates the dominated column presolver and includes it in SCIP

creates the domcol presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2428 of file presol_domcol.c.

References DEFAULT_CONTINUOUS_RED, DEFAULT_NUMMAXPAIRS, DEFAULT_NUMMINPAIRS, DEFAULT_PREDBNDSTR, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), and SCIPsetPresolFree().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDualagg()

SCIP_RETCODE SCIPincludePresolDualagg ( SCIP scip)

creates the dualagg presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 621 of file presol_dualagg.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, and SCIPincludePresolBasic().

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDualcomp()

SCIP_RETCODE SCIPincludePresolDualcomp ( SCIP scip)

◆ SCIPincludePresolDualinfer()

◆ SCIPincludePresolGateextraction()

SCIP_RETCODE SCIPincludePresolGateextraction ( SCIP scip)

creates the gateextraction presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1791 of file presol_gateextraction.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolImplics()

SCIP_RETCODE SCIPincludePresolImplics ( SCIP scip)

creates the implics presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 359 of file presol_implics.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolInttobinary()

SCIP_RETCODE SCIPincludePresolInttobinary ( SCIP scip)

creates the inttobinary presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 191 of file presol_inttobinary.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolMILP()

SCIP_RETCODE SCIPincludePresolMILP ( SCIP scip)

creates the MILP presolver and includes it in SCIP if the presolve library is available

creates the MILP presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 46 of file presol_milp.cpp.

References BMSclearMemory, SCIP_Var::data, DEFAULT_RANDOMSEED, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, presolve(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PRESOLCOPY, SCIP_DECL_PRESOLEXEC, SCIP_DECL_PRESOLFREE, SCIP_DECL_PRESOLINIT, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARTYPE_IMPLINT, SCIP_VERBLEVEL_HIGH, SCIPABORT, SCIPaddBoolParam(), SCIPaddCons(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPaddStringParam(), SCIPaggregateVars(), SCIPallocBlockMemory, SCIPallowStrongDualReds(), SCIPallowWeakDualReds(), SCIPcaptureCons(), SCIPconsGetName(), SCIPconshdlrGetNCheckConss(), SCIPcreateConsBasicLinear(), SCIPdebugMsg, SCIPdelCons(), SCIPepsilon(), SCIPerrorMessage, SCIPfeastol(), SCIPfindConshdlr(), SCIPfixVar(), SCIPfreeBlockMemory, SCIPgetNConss(), SCIPgetNVars(), SCIPgetProbName(), SCIPgetProbvarSum(), SCIPgetRealParam(), SCIPgetSolvingTime(), SCIPincludeExternalCodeInformation(), SCIPincludePresolBasic(), SCIPincludePresolMILP(), SCIPinfinity(), SCIPinitializeRandomSeed(), SCIPisInfinity(), SCIPmatrixCreate(), SCIPmatrixFree(), SCIPmatrixGetCons(), SCIPmatrixGetNColumns(), SCIPmatrixGetNNonzs(), SCIPmatrixGetNRows(), SCIPmatrixGetRowIdxPtr(), SCIPmatrixGetRowLhs(), SCIPmatrixGetRowNNonzs(), SCIPmatrixGetRowRhs(), SCIPmatrixGetRowValPtr(), SCIPmatrixGetVar(), SCIPmultiaggregateVar(), SCIPpresolGetData(), SCIPpresolSetData(), SCIPreleaseCons(), SCIPsetPresolCopy(), SCIPsetPresolFree(), SCIPsetPresolInit(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsIntegral(), SCIPverbMessage(), SCIPwriteTransProblem(), and TRUE.

Referenced by SCIPincludeDefaultPlugins(), and SCIPincludePresolMILP().

◆ SCIPincludePresolQPKKTref()

SCIP_RETCODE SCIPincludePresolQPKKTref ( SCIP scip)

creates the QP KKT reformulation presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2064 of file presol_qpkktref.c.

References FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolRedvub()

SCIP_RETCODE SCIPincludePresolRedvub ( SCIP scip)

creates the redvub presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 693 of file presol_redvub.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, and SCIPincludePresolBasic().

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolStuffing()

SCIP_RETCODE SCIPincludePresolStuffing ( SCIP scip)

creates the stuffing presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 498 of file presol_stuffing.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolTrivial()

SCIP_RETCODE SCIPincludePresolTrivial ( SCIP scip)

creates the trivial presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 205 of file presol_trivial.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolTworowbnd()

SCIP_RETCODE SCIPincludePresolTworowbnd ( SCIP scip)