rens
, mutation
and veclendiving
intshifting
(ID character i
)AFTERNODELPNODE
, AFTERLPPLUNGE
, AFTERPSEUDONODE
, and AFTERPSEUDOPLUNGE
are now called before the enforcement of the constraint handlers, in particular before the branching rules; in this way, the branching rule can already benefit from a tighter primal boundAFTERNODE
heuristics in the root node of the very first run, see above), domain propagation and LP solving is triggered again; this allows for additional reduced cost tightening and other dual propagationscrossover
and rins
heuristicsoctane
and shifting
I
solinfeasible
for constraint handler callback methods ENFOLP
and ENFOPS
inlploop
and inplunging
by heurtiming
in SCIP_DECL_HEUREXEC
SCIP_SUSPENDED
or if some other plugin modified the LP.escapecommand
for SCIPdialoghdlrAddHistory()ndomredsfound
of SCIPpropagateProbing()fixintegralrhs
, maxfrac
, mksetcoefs
and fracnotinrange
in SCIPcalcMIR()pseudonodes
, duringplunging
, duringlploop
and afternode
by timingmask
in SCIPincludeHeur() and constructor of ObjHeur() class use the following table to translate old settings into the new timingmask:PSEUDONODES | DURINGPLUNGING | DURINGLPLOOP | AFTERNODE | timingmask |
---|---|---|---|---|
FALSE | FALSE | FALSE | FALSE | SCIP_HEURTIMING_BEFORENODE |
TRUE | FALSE | FALSE | FALSE | SCIP_HEURTIMING_BEFORENODE |
FALSE | TRUE | FALSE | FALSE | SCIP_HEURTIMING_BEFORENODE |
TRUE | TRUE | FALSE | FALSE | SCIP_HEURTIMING_BEFORENODE |
FALSE | FALSE | TRUE | FALSE | SCIP_HEURTIMING_BEFORENODE | SCIP_HEURTIMING_DURINGLPLOOP |
TRUE | FALSE | TRUE | FALSE | SCIP_HEURTIMING_BEFORENODE | SCIP_HEURTIMING_DURINGLPLOOP |
FALSE | TRUE | TRUE | FALSE | SCIP_HEURTIMING_BEFORENODE | SCIP_HEURTIMING_DURINGLPLOOP |
TRUE | TRUE | TRUE | FALSE | SCIP_HEURTIMING_BEFORENODE | SCIP_HEURTIMING_DURINGLPLOOP |
FALSE | FALSE | FALSE | TRUE | SCIP_HEURTIMING_AFTERLPPLUNGE |
TRUE | FALSE | FALSE | TRUE | SCIP_HEURTIMING_AFTERPLUNGE |
FALSE | TRUE | FALSE | TRUE | SCIP_HEURTIMING_AFTERLPNODE |
TRUE | TRUE | FALSE | TRUE | SCIP_HEURTIMING_AFTERNODE |
FALSE | FALSE | TRUE | TRUE | SCIP_HEURTIMING_AFTERLPPLUNGE | SCIP_HEURTIMING_DURINGLPLOOP |
TRUE | FALSE | TRUE | TRUE | SCIP_HEURTIMING_AFTERPLUNGE | SCIP_HEURTIMING_DURINGLPLOOP |
FALSE | TRUE | TRUE | TRUE | SCIP_HEURTIMING_AFTERLPNODE | SCIP_HEURTIMING_DURINGLPLOOP |
TRUE | TRUE | TRUE | TRUE | SCIP_HEURTIMING_AFTERNODE | SCIP_HEURTIMING_DURINGLPLOOP |
removeable
by the correct English word removable
: SCIPconsIsRemovable(), SCIPsetConsRemovable(), SCIPvarIsRemovable(), SCIPcolIsRemovable(), SCIProwIsRemovable()sticktonode
in SCIPcreateCons(), SCIPcreateConsAnd(), SCIPcreateConsBounddisjunction(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsVarbound(), SCIPcreateConsXor(), SCIPcreateConsSetpart(), SCIPcreateConsSetpack(), SCIPcreateConsSetcover(): usually, you should set this to FALSE; if you want to add constraints as node markers with node data and, e.g., use the activate
and deactivate
callbacks to get informed about the activation and deactivation of the node, you should set this flag to TRUE in order to make sure, that the constraint will always be associated to the node and not moved to a more global node if this would be possible\
,
'and
` which makes it possible to read in files with spaces in the nameheuristics/octane/usediffray
to FALSEheuristics/octane/usediffbwray
heuristics/octane/useavgray
to heuristics/octane/useavgnbray
heuristics/rens/binarybounds
to TRUEheuristics/octane/freq
to -1 in order to deactivate Octaneheuristics/feaspump/maxsols
is now strict, i.e., if n solutions were already found, the feasibility pump starts to work only if maxsols <= n
, instead of maxsols < n
conflict/restartnum
and conflict/restartfac
heuristics/octane/useavgray
heuristics/octane/useavgwgtray
limits/absgap
to define an absolute gap limitseparating/cmir/aggrtol
separating/cmir/densityscore
separating/cmir/fixintegralrhs
separating/maxruns
presolving/restartminred
which forbids another restart if the last one was not successful enoughpropagating/abortoncutoff
reading/zplreader/changedir
to control behavior of path switching of ZIMPL file readerreading/zplreader/parameters
to pass additional parameters to ZIMPLmake/make.*
filesx <= 10*z + 5
and x <= -5*z + 10
); in previous version, one of the two was removed, although both have a useful meaning; now, we keep both and detect a stronger global bound in the implication graph presolvingINITIAL=true
and separating them afterwards, which lead to a second addition of the constraint's relaxation in the child node