delay
for pricersrootredcost
which applies reduced cost fixing at the root node whenever a best new primal solution was foundredcost
which replaces the internal reduced cost strengtheninglpobj
bounddisjunction
sol
file reader to fix
file reader (reads partial solution files and fixes variables to the given values)sol
file reader which reads complete solution files and adds the solutions to the solution poolneos1.mps
)inttobinary
shifting
fast0507
)SCIP_STATUS_STALLNODELIMIT
CONSINITLP
callback in the constraint handlersSCIP_Longint
maxpricerounds
in method SCIPsolveProbingLPWithPricing()/
and \
, as directory delimiters (under MinGW and CygWin, both are valid; so, we cannot treat file names anymore where the other slash is used as a regular character)initial
now means in addition, that if the constraint is added to a local node it will enter the LP at the time the node is first processed, even if parameters forbid separation at this node<
or |
operators-l <logfile>
: copy output into log file-q
: suppress screen messages-s <settings>
: load parameter settings (.set) file-f <problem>
: load and solve problem file-b <batchfile>
: load and execute dialog command batch file (can be used multiple times)-c <command>
: execute single line of dialog commands (can be used multiple times)propagating/redcostfreq
, because reduced cost strengthening is now an external separator pluginconflict/maxunfixed
conflict/maxclauses
renamed to conflict/maxconss
conflict/interclauses
renamed to conflict/interconss
conflict/reconvclauses
replaced by conflict/reconvlevels
conflict/uselp
replaced by conflict/useinflp
and conflict/useboundlp
constraints/obsoleteage
to -1branching/relpscost/conflictweight
to 0.01branching/relpscost/inferenceweight
to 0.0001branching/relpscost/cutoffweight
to 0.0001minplungedepth
is now stronger than maxplungedepth
if they conflictconstraints/linear/separateall
conflict/lpiterations
conflict/keepreprop
branching/relpscost/conflictweight
, branching/relpscost/inferenceweight
, branching/relpscost/cutoffweight
and branching/relpscost/pscostweight
conflict/settlelocal
conflict/depthscorefac
limits/stallnodes
quit
command) gives a segmentation faultSCIP_Bool
instead of an intOBJSENSE
initial
will be put to the LP relaxation (of the child nodes) even if separation is prohibited by the parameter settingsimplics
to find bound changes and aggregations out of the implication graphintdiving
heuristic (disabled in default settings)Integer
for defining the start of the integer variables sectionCONSSEPA
of constraint handler was split into two methods CONSSEPALP
and CONSSEPASOL
SEPAEXEC
of separator was split into two methods SEPAEXECLP
and SEPAEXECSOL
sol
for methods SCIPaddCut(), SCIPgetCutEfficacy() and SCIPisCutEfficacious()sol
for method SCIPseparateKnapsackCover()SCIP_UNKNOWN
); unknown values don't contribute to the objective value of the solution; an unknown solution value should be treated as an arbitrary value in the variable's bounds, e.g., in the calculation of the feasibility of a constraint, a value inside the variable's bounds should be selected that makes the constraint as feasible as possibleprintzeros
for methods SCIPprintSol(), SCIPprintTransSol(), SCIPprintBestSol() and SCIPprintBestTransSol()write statistics
command to default user dialogspresolving/probing/maxtotaluseless
freq = 0
and freqofs > 0
are now called in depth level freqofs instead of being called in the root nodep
rimal simplex and d
ual simplex in lp/initalgorithm
and lp/resolvealgorithm
branching/inference/conflictweight
NO_REMOVE_HISTORY
is defined to support older versions of the readline library/
under Windows+2x
instead of + 2x
)assert(FALSE)
make USRFLAGS=-DNO_REMOVE_HISTORY
, make USRFLAGS=-DNO_SIGACTION
, make USRFLAGS=-DNO_RAND_R
, or make USRFLAGS=-DNO_STRTOK_R
conflict/maxclauses
clauses are added permanently to the problem; the remaining clauses are only added temporarily, if they can be used for repropagationLOCKSCHANGED
events that are generated at problem transformation stageSCIP_EVENTTYPE_PRESOLVEROUND
objfeaspump
heuristic, because the functionality can be achieved by using the feaspump
heuristicoctane
SCIP_EVENTTYPE_VARDELETED
SCIP_EVENTTYPE_IMPLADDED
SCIP_EVENTTYPE_GLBCHANGED
and SCIP_EVENTTYPE_GUBCHANGED
validnode
for the CONFLICTEXEC
method of conflict handlers, which should be passed to SCIPaddConsNode()validnode
for SCIPaddConsLocal() and SCIPaddConsNode()branchdir
for SCIPbranchVar()file
duringlploop
of SCIPincludeHeur(): heuristics can now run during the price-and-cut loop at a nodeSCIPFILE
; these methods automatically use zlib methods if the zlib is enabledwrite solution
to default dialogwrite problem
and write transproblem
to default dialogSCIP_VERBLEVEL_DIALOG
in display/verblevel
parameterpartial
presolving/restartbdchgs
with parameters presolving/maxrestarts
and presolving/restartfac
constraints/linear/maxpresolaggrrounds
with constraints/linear/maxpresolpairrounds
constraints/agelimit
and constraints/obsoleteage
now iterprete the value 0 as a dynamic settingseparating/maxstallrounds
heuristics/∗/maxdiveavgquot
and heuristics/∗/maxdiveavgquotnosol
to 0constraints/agelimit
and constraints/obsoleteage
to 0heuristics/objpscostdiving/maxsols
and heuristics/rootsoldiving/maxsols
to -1separating/strongcg/maxroundsroot
to 20separating/cmir/maxroundsroot
to 10constraints/linear/maxaggrnormscale
to 0.0, which means to not apply aggregationseparating/maxstallrounds
to 5presolving/probing/maxfixings
to 50conflict/useprop
= FALSEconflict/usepseudo
= FALSEdisplay/verblevel
= 4separating/poolfreq
= 0constraints/linear/sepafreq
= 0constraints/and/sepafreq
= 0constraints/conjunction/sepafreq
= 0constraints/knapsack/sepafreq
= 0constraints/knapsack/sepacardfreq
= 0constraints/logicor/sepafreq
= 0constraints/or/sepafreq
= 0constraints/setppc/sepafreq
= 0constraints/varbound/sepafreq
= 0constraints/xor/sepafreq
= 0separating/clique/freq
= 0separating/cmir/freq
= 0separating/gomory/freq
= 0separating/impliedbounds/freq
= 0separating/strongcg/freq
= 0branching/fullstrong/reevalage
conflict/maxclauses
conflict/allowlocal
constraints/knapsack/disaggregation
presolving/probing/maxtotaluseless
separating/cmir/maxfails
, separating/cmir/maxfailsroot
and separating/cmir/trynegscaling
SCIP_
: you may use shell script reptypes_scip.sh to rename the SCIP data types in your own source code (But use with care! Create a backup copy of your source first!)VERBOSE={true,false}
READLINE=true/false
, ZLIB=true/false
, ZIMPL=true/false
to Makefile