CHANGELOG
Go to the documentation of this file.
10 - in expression simplification, added possibility to expand power of sum with exponents larger than 2 (simplify rule POW7)
11 - in expression simplification, added possibility to expand products with sums as factor when there are more than two factors (simplify rule SP12b)
12 - in expression simplification, added possibility to allow expanding power of products with fractional exponent (simplify rule POW5a)
13 - can now build with Lapack (used for solving nonlinear problems) explicitly; if IPOPT is used, then Lapack is accessed through it;
15 - added support for logical constraints in binary variables and basic logical operators (and, or, not, equal) to AMPL .nl reader
16 - indicator constraints now use the same slack variable for the linear constraints if binary variables are used multiple times
18 - new diving heuristic indicatordiving that focuses on indicator variables which control semicontinuous variables
22 - The symmetry detection code has been completely restructured. Instead of completely encoding symmetry information in
23 prop_symmetry.c, there is a new callback for constraint handlers, which returns symmetry relevant information by
24 encoding a constraint as a node and edge colored graph. This way, also custom constraint handlers can provide
26 - added special presolving step for logicor and set covering/packing for constraints with two variables and one independent variable
27 - increased the depth field of the tree structure from 16 to 30 bits and the max depth of the search tree from 65534 to 1073741822
28 - added new cut selector plugin called cutsel_ensemble. Performs a superset of hybrid cutsel. Implements new filtering methods and scoring options.
31 - added new cut selector plugin called cutsel_dynamic. Performs a superset of hybrid cutsel. Implements new filtering methods and scoring options.
33 - extended heuristic dps to run after processing the node and to use strict limits for the reoptimization step
34 - extended obbt propagator to handle variables of the linear constraints corresponding to indicator constraints
35 - added new heuristic heur_scheduler that models the selection of LNS and diving heuristics as a multi-armed bandit problem
36 - added nonlinear handler for signomial expressions: adds cuts based on a difference of convex functions representation
37 - Delayed separators are now called if no other cuts have been found. Previously, such separators were only called near stalling or when the separation rounds limit was reached.
38 - added a new separator sepa_lagromory to generate Lagromory cuts in a relax-and-cut framework, i.e., GMI cuts generated
39 at different bases that are explored in the process of solving the Lagrangian dual problem at a node. This separator
41 - when parsing nonlinear constraints from CIP files, the * after the number in a term is now optional if followed by a variable,
42 i.e., instead of 3*<x>*<y>, now also 3<x>*<y> can be read, but 3<x><y> is not supported;
44 - when running bliss, we now limit the number of actually created generators and not the ones considered by bliss
49 - Variable conflict-based addition of Schreier-Sims cuts for symmetry handling in prop_symmetry.c does no longer use
52 - Propagation of indicator constraints propagates maximal activity of linear constraint to upper bound of slack variable.
55 - If differentation of convex expression fails in convex nlhdlr, then a perturbed point is tried.
71 The nonlinear handler may use this callback to add tight cuts that use the given solution as reference point to the cutpool.
73 - The callback for copying problem data SCIP_DECL_PROBCOPY() now has a parameter "original" indicating whether the original
74 or transformed problem should be copied. Similarly, SCIPprobCopy() in prob.h/c has such a parameter.
75 - Added CONSGETPERMSYMGRAPH and CONSGETSIGNEDPERMSYMGRAPH callback for constraint handlers, which provides symmetry information about constraints to SCIP.
79 - SCIPtpiInitLock(), SCIPtpiDestroyLock(), SCIPtpiInitCondition(), SCIPtpiDestroyCondition() now take a double
82 - SCIPcreateConsIndicatorLinCons(), SCIPcreateConsIndicatorGenericLinCons() do not allow binvar to be NULL anymore
87 - SCIPincludeObjConshdlr(), SCIPincludeConshdlr(), SCIPconshdlrCreate() receive two more arguments for the
97 - new functions for interfacing with Lapack: SCIPlapackIsAvailable(), SCIPlapackIsAvailable(), SCIPlapackComputeEigenvalues(), and SCIPlapackSolveLinearEquations
98 These functions should be used instead of SCIPisIpoptAvailableIpopt(), SCIPcallLapackDsyevIpopt(), and
99 SCIPsolveLinearEquationsIpopt() in the context of computing eigenvalues or solving linear equations.
104 - new functions SCIPcreateConsIndicatorLinConsPure() and SCIPcreateConsIndicatorGenericLinConsPure() that
109 - new API functions SCIPlexicographicReductionGetStatistics(), SCIPlexicographicReductionPrintStatistics(),
110 SCIPlexicographicReductionPropagate(), SCIPlexicographicReductionAddPermutation(), SCIPlexicographicReductionReset(),
111 SCIPlexicographicReductionFree(), SCIPincludeLexicographicReduction(), for lexicographic reduction.
112 - new API functions SCIPorbitopalReductionGetStatistics(), SCIPorbitopalReductionPrintStatistics(),
113 SCIPorbitopalReductionPropagate(), SCIPorbitopalReductionAddOrbitope(), SCIPorbitopalReductionReset(),
114 SCIPorbitopalReductionFree(), SCIPincludeOrbitopalReduction(), SCIPorbitopalReductionGetDefaultColumnOrdering(),
117 SCIPorbitalReductionPropagate(), SCIPorbitalReductionAddComponent(), SCIPorbitalReductionReset(),
119 - new API functions SCIPgetShadowTreeEventHandlerExecutionTime(), SCIPshadowTreeGetShadowNodeFromNodeNumber(),
120 SCIPshadowTreeGetShadowNode(), SCIPgetShadowTree(), SCIPactivateShadowTree(), SCIPincludeEventHdlrShadowTree(),
123 - SCIPincludeCutselEnsemble(), SCIPselectCutsEnsemble() to include cutsel_ensemble or use the selection algorithm
125 - SCIPgetVarAvgGMIScore(), SCIPincVarGMISumScore(), SCIPgetVarLastGMIScore(), SCIPsetVarLastGMIScore() set historical values used by SCIP's default branching rule
129 - SCIPincludeCutselDynamic(), SCIPselectCutsDynamic() to include cutsel_dynamic or use the selection algorithm
132 - SCIPgetConsPermsymGraph() and SCIPgetConsSignedPermsymGraph() to access the (signed) permutation symmetry detection graph of a constraint
133 - SCIPsetConshdlrGetPermsymGraph() and SCIPsetConshdlrGetSignedPermsymGraph() to set the (signed) permutation symmetry detection graph of a constraint
134 - SCIPconshdlrSupportsPermsymDetection() and SCIPconshdlrSupportsSignedPermsymDetection() to access whether a conshdlr supports detection of (signed) permutation symmetries
135 - new API functions for creating and manipulating a symmetry detection graph: SCIPcreateSymgraph(), SCIPfreeSymgraph(), SCIPcopySymgraph(), SCIPextendPermsymDetectionGraphLinear(),
136 SCIPaddSymgraphVarAggregation(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphValnode(), SCIPaddSymgraphConsnode(), SCIPgetSymgraphVarnodeidx(), SCIPgetSymgraphNegatedVarnodeidx(),
137 SCIPupdateSymgraphLhs(), SCIPupdateSymgraphRhs(), SCIPfixSymgraphVarnode(), SCIPaddSymgraphEdge(), SCIPcomputeSymgraphColors(), SCIPgetSymgraphSymtype(), SCIPgetSymgraphVars(),
138 SCIPgetSymgraphNVars(), SCIPgetSymgraphNConsnodes(), SCIPgetSymgraphNNodes(), SCIPgetSymgraphNEdges(), SCIPgetSymgraphEdgeFirst(), SCIPgetSymgraphEdgeSecond(),
139 SCIPgetSymgraphVarnodeColor(), SCIPgetSymgraphNodeType(), SCIPgetSymgraphNodeColor(), SCIPisSymgraphEdgeColored(), SCIPgetSymgraphEdgeColor(), SCIPgetSymgraphNVarcolors(),
140 SCIPhasGraphUniqueEdgetype(), SCIPallocateSymgraphConsnodeperm(), SCIPcreateSymgraphConsnodeperm(), SCIPgetSymgraphConsnodeperm(), SCIPfreeSymgraphConsnodeperm(),
141 SCIPgetSymActiveVariables(), SCIPfreeSymDataExpr(), SCIPgetSymExprdataNConstants(), SCIPgetSymExprdataConstants(), SCIPgetCoefSymData(),
143 - SCIPexprhdlrSetGetSymdata(), SCIPexprhdlrHasGetSymData(), SCIPgetSymDataExpr(), SCIPcallExprGetSymData() to access symmetry data of expressions
149 - new members SYM_CONSOPTYPE_SUM, SYM_CONSOPTYPE_SLACK, SYM_CONSOPTYPE_COEF, SYM_CONSOPTYPE_RHS, SYM_CONSOPTYPE_LAST in SYM_CONSOPTYPE enum
164 - The AMPL interface now supports parameters specified in AMPL command scripts via option scip_options.
165 The value of scip_options is expected to be a sequence of parameter names and values, separated by a space, e.g.,
169 - The solution status codes written to AMPL solution files now match those from https://mp.ampl.com/details.html#_CPPv4N2mp3sol6StatusE.
174 - Shrunk range of parameter "propagating/symmetry/sstleaderrule" from [0,3] to [0,2], removed "MAXCONFLICTS"-option.
175 - Removed reading/gmsreader/freeints. A default upper bound of +inf is now assumed for integer variables in GAMS (which is the case since GAMS 23.1).
176 - Disabled "propagating/symmetry/symfixnonbinaryvars" since it is not used in the new symmetry code.
177 - Replaced "propagating/symmetry/onlybinarysymmetry" with "propagating/symmetry/enforcecomputesymmetry" and set to FALSE by default.
178 - Disabled "propagating/symmetry/performpresolving" since running orbital reduction during presolving is not effective.
179 - Repurposed "propagating/symmetry/usedynamicprop" since it now also applies to lexicographic reduction.
180 - Changed default value of parameter "propagating/symmetry/addsymresacks" from FALSE to TRUE.
184 - separating/maxcutsgenfactor and separating/maxcutsrootgenfactor as factors (w.r.t. separating/maxcuts and
185 separating/maxcutsroot) for limits on the number of cuts generated (which used to be constants '2')
188 - expr/product/expandalways to enable expanding any product with sums as factor (that is, also when more than two factors)
190 - benders/default/nlpiterlimit to adjust iteration limit for NLP solver for Benders' decomposition NLP subproblems
193 - heuristics/undercover/{coverand,coverind,covernl} to control which nonlinearities to consider (by default only "and" and nonlinear constraints)
196 - branching/relpscost/gmiavgeffweight specifies the weight in the relpscost branching score of the normalized efficacy of all generated GMI cuts (for a variable)
197 branching/relpscost/gmilasteffweight specifies the weight in the elpscost branching score of the normalized efficacy of the last generated GMI cut (for a variable)
198 - nlhdlr/quadratic/usemonoidal to enable monoidal strengthening when separating quadratics with intersection cuts
199 - nlhdlr/quadratic/trackmore to collect more statistics for monoidal strengthening when separating quadratics with intersection cuts
200 - nlhdlr/quadratic/useminrep to use the minimal representation to compute cut coefficients when separating quadratics with intersection cuts
205 - nlhdlr/signomial/enabled, nlhdlr/signomial/maxnundervars, nlhdlr/signomial/mincutscale: parameters for the signomial nonlinear handler
207 - separating/lagromory/away to denote the minimal integrality violation of a basis variable to try separation
208 - separating/lagromory/dynamiccuts to denote whether the generated cuts be removed from LP if they are no longer tight
209 - separating/lagromory/maxroundsroot to denote the maximal number of separation rounds in the root node
210 - separating/lagromory/maxrounds to denote the maximal number of separation rounds in a non-root node
211 - separating/lagromory/nmaxcutsperlproot to denote, in the root node, the maximal number of Lagromory cuts that can be
213 - separating/lagromory/nmaxcutsperlp to denote, in a non-root node, the maximal number of Lagromory cuts that can be
215 - separating/lagromory/perroundnmaxlpiters to denote the maximal number of separating LP iterations that are allowed per
217 - separating/lagromory/dualdegeneracyratethreshold to denote the minimum dual degeneracy rate for the separator execution
218 - separating/lagromory/varconsratiothreshold to denote the minimum variable-constraint ratio on the optimal face for the
220 - many other advanced parameters for the Lagromory separator, which are also mentioned under separating/lagromory/∗
226 - replaced enum SYM_SYMTYPE by a complete new one; removed SYM_RHSSENSE, added SYM_NODETYPE and SYM_CONSOPTYPE
231 - deleted the now unused files: tpi_none.h, tpi_openmp.h, tpi_tnycthrd.h, type_tpi_none.h, type_tpi_openmp.h, type_tpi_tnycthrd.h
235 - new unittests for nlhdlr_quadratic that test monoidal strengthening and the use of the minimal representation to compute cut coefficients
242 - flush changes at the end of SCIPlpiSetBase() in lpi_grb.c to apply the newly set basis correctly
250 - added flag option "SYM=sbliss" for using sassy/bliss as a graph automorphism package
252 - added flag option "SYM=snauty" for using sassy/nauty as a graph automorphism package
256 - added flag option "nauty" for SYM variable to specify which graph automorphism package should be used
257 - added flag option "sbliss" (sassy/bliss) for SYM variable to specify which graph automorphism package should be used
258 - added flag option "snauty" (sassy/nauty) for SYM variable to specify which graph automorphism package should be used
267 - Number of runs in which separation is enabled will now be correct as per "separating/maxruns" parameter. Earlier,
268 separation was enabled for "maxruns + 1" number of runs, i.e., separation was enabled even when "maxruns = 0" was set.
273 - check absolute coefficients relative to extremal average to avoid invalid unifications in normalizeCons()
274 - enforce and check symmetry-based constraints to take their locks (in dual reductions) into account
279 - The TPI has been changed to become mostly independent from the actual parallel interface during compile time.
281 - fixed that scip/def.h, the header for C preprocessor definition (#define's), included headers for some SCIP type and function definitions
295 - fixed that scaling of rows in Gurobi interface (SCIPlpiScaleRow()) changed infinite sides to large finite ones (1e20) when scale factor is negative
297 - if an objective limit is set and Mosek claims that it is exceeded, check that this is indeed the case in SCIPlpiIsStable()
298 - the .mps file reader was extended to additionally accept .mps files with the objective sense section on one line
300 - fixed that a Gurobi or Mosek interface (LPI) could not be freed from a thread different than the one it was created in, which lead to problems when, e.g., using the concurrent optimizer
301 - in cons_varbound if both variables are fixed, instead of propagating the constraint check the feasibility of the constraint since propagating can lead to unnecessary numerical troubles
303 - fixed that undercover did not enforce that sufficiently many variables in an and-constraints were fixed to have it linearized in the generated sub-scip
304 - fixed two bugs in cons_varbound: avoid adding variable bounds if vbdcoef is infinite and unlock/lock variables if lhs/rhs/vbdcoef are changed
305 - globalize constraint changes before bound changes during the effective root shift in treeSwitchPath() to correctly update variable locks by avoiding global bounds with outstanding bound change events when deleting constraints
307 - remove integrality check for implicit integral variables in cons_integral.c, updated the definition for variable type implicit integer to be more explicit that these variables can take fractional values, and updated FAQ entry
308 - updated and, or, and pseudoboolean constraint handlers to better handle fractional implicit integer variables in enforcement
309 - avoid invalid strong Chvatal-Gomory cuts by ceiling with tolerance in the calculation of parameter k and flooring slack coefficients with standard epsilon tolerance as well as quad precision
310 - add missing row links to columns in SCIPflushRowExtensions() required to maintain correct row norms
311 - restrict separator intobj to solutions for which there can be no better feasible integral objective values to avoid cutting them off
312 - delay removal of clique lists from SCIPvarRemoveCliquesImplicsVbs() into cliqueCleanup() to avoid segmentation faults by incomplete cleanups after variable conversions
313 - reject sub-solutions with invalid objectives in SCIPtranslateSubSols() due to contradicting infinite contributions
315 - copy quiet flag from main scip's message handler to the one of solverscip in concurrent optimization
316 - avoid bound tightening cycles towards huge redundancy bounds in fullDualPresolve() to avert fatal numerical trouble in representing vertices of linear relaxations with unbounded domains
318 - update index of dominating variable on coefficient deletion in dualPresolving() of constraint handler logicor
319 - pass on flags from a redundant to the implying varbound constraint in preprocessConstraintPairs() to avoid suboptimal fixings by model relaxations
321 - before presolving is finished check solutions before retransforming them including tiny values to keep check flags consistent
322 - disable heuristics before and during presolving in benders decomposition to avoid messing up the objective structure in the solution store by dropping auxiliary variables in the required retransformations
323 - correct local flag of singleton conflict constraints in tightenSingleVar() against invalid bound globalization
324 - respect unboundedness in the computation of activity bounds in conflict.c to avoid invalid huge bounds due to small coefficients on unbounded variables
325 - ensure positive sides of a linear constraint when recognizing a set partition in rangedRowSimplify() to account for redundancy issues
349 - added flag option "SYM=sbliss" for using sassy/bliss as a graph automorphism package
353 - added flag option "nauty" for SYM variable to specify which graph automorphism package should be used
354 - added flag option "sbliss" for SYM variable to specify which graph automorphism package should be used
376 given disjunction to be infeasible; it is now in the responsibility of the caller to act accordingly
390 - changed integer parameter "propagating/symmetry/recomputrestart" from range {0, 1, 2} to being fixed at value 0
401 - OPB reader: dynamically increase the size of the line buffer for reading in getMaxAndConsDim()
402 - Enabled the solution limit checks in SCIPsolveIsStopped in solve.c when in SCIP_STAGE_PRESOLVING
407 - orbitope detection: refine computation of overlap structure and fixed bug in finding orbitope generators
409 - when a row with invalid index range is added to the global cutpool, update the indices instead of failing with an assert
410 - update of watched literals in cons_xor.c and ensure that fixed variables are counted in propacateCons()
411 - avoid some numerical issue in check for redundant variables in linear constraints (introduced with version 8.0.2)
414 - avoid aggregation into a single linear constraint if they should not be upgraded (needed for indicator constraints)
416 - avoid invalid objective value for solutions generated from an unbounded LP relaxation in case of a nonlinear objective function
420 - fix in presolving of variable bound constraints to use absolute instead of relative difference
426 - fixed that presolve of logicor-constraints may have attempted to cutoff a root of the not yet existing branch-and-bound tree
434 - Extended documentation of the parameter limits/solutions to point out that the limit is first checked in presolving
435 - Added more information about using SCIPcache- and SCIPflushRowExtensions() to documentation and comments
436 - Extended the `how to add' sections of the documentation by adding information on how to include default plugins into SCIP
451 - When running the AMPL interface, the .nl filename extension does not need to be omitted for the input file anymore.
467 - the feasibility checker for integrality constraints now uses checkintegrality even for implied integers
469 - fixed an issue caused by aggregated variables not added to a hashmap in the xor constraint handler
471 - fixed that the implication presolver tried to aggregate or tighten bounds of multiaggregated variables
473 - fixed bug in Clp and lpi_clp with missing basis information when calling the barrier with crossover; needs new Clp version
480 - When an LP could not be solved accurately, scaling is now turned off as a last fall-back method.
481 - Methods for using the debug solution mechanism SCIPdebugAddSolVal, SCIPdebugGetSol, SCIPdebugGetSolVal,
482 SCIPdebugSolIsValidInSubtree, SCIPdebugIsMainscip, SCIPdebugSolEnable, SCIPdebugSolDisable, SCIPdebugSolIsEnabled,
498 - replaced SCIPsepastoreGetNCutsFound with SCIPsepastoreGetNCutsAdded following the naming convention for the new statistics
503 - added SCIPsepastoreGetNCutsAdded, SCIPsepastoreGetNCutsAddedViaPool, SCIPsepastoreGetNCutsAddedDirect
504 - added SCIPsepaIncNCutsAdded, SCIPsepaDecNCutsAdded, SCIPsepaIncNCutsApplied, SCIPsepaGetNRootCalls, SCIPsepaGetNCutsAdded, SCIPsepaGetNCutsAddedViaPool, SCIPsepaGetNCutsAddedDirect, SCIPsepaGetNCutsAppliedViaPool, SCIPsepaGetNCutsAppliedDirect
505 - added SCIPcutpoolGetNRootCalls, SCIPcutpoolGetNCutsAdded, SCIPcutpoolAddMaxNCuts, SCIPcutpoolSetTime, SCIPcutpoolAddNCalls, SCIPcutpoolAddNRootCalls, SCIPcutpoolAddNCutsFound, SCIPcutpoolAddNCutsAdded,
506 - added SCIPcutselGetNCalls, SCIPcutselGetNRootCalls, SCIPcutselGetNRootCuts, SCIPcutselGetNRootForcedCuts, SCIPcutselGetNRootCutsFiltered, SCIPcutselGetNLocalCuts, SCIPcutselGetNLocalForcedCuts, SCIPcutselGetNLocalCutsFiltered,
514 - new parameters to turn on more statistics: misc/showdivingstats (diving heuristics), heuristics/alns/shownbstats (ALNS), estimation/showstats (tree size estimation)
520 - added ncalls, nrootcalls, nrootcutsselected, nrootcutsforced, nrootcutsfiltered, nlocalcutsselected, nlocalcutsforced, nlocalcutsfiltered to SCIP_Cutsel
521 - added ncutsadded, ncutsaddedviapool, ncutsaddeddirect, ncutsappliedviapool, ncutsapplieddirect, nrootcalls to SCIP_Sepa
531 Packages like Ipopt, PaPILO, Readline, Zimpl, ZLIB, GMP, Worhp are automatically found and linked, otherwise ignored.
532 The individual flags for these packages are ignored. This makes a quick build easier. It is by default set to off.
538 - Make sure that objective limit is disabled if not all variables are in the LP. If we would run into
544 - fixed bug in presolving of and constraints by merging variables with multiple occurrences before cliquePresolve()
545 - fixed bug in dual presolving of linear constraints by setting implicit integers to integers in multi-aggregation
546 - fixed update of presolve statistics on added constraints and changed coefficients in constraint handler for nonlinear constraints
549 - fixed check for unbounded solution constructed by SCIPlpGetUnboundedSol(): The constructed solution is very likely infeasible
550 since scaling increases small numerical feasibility violations. Therefore, the solution is now always accepted. However, the
551 feasibility of the ray is now checked. This fix now might lead to several rounds of separation in order to resolve unbounded solutions,
558 - Added extended cutselector statistics splitting between root node specific and general statistics
559 - Added extended and refined cutpool statistics showing the number of cuts added from the cutpool to the sepastore
560 - Added extended and refined separator statistics to get a better view of the individual generators performance
564 misc/showdivingstats (diving heuristics), heuristics/alns/shownbstats (ALNS), estimation/showstats (tree size estimation)
571 - clique lifting in cons_setppc (parameter enablecliquelifting) is only disabled if it has been applied
594 - avoid warnings about unrecognized compiler warning silencing options when compilation with GCC fails
600 - avoid warnings about unrecognized compiler warning silencing options when compilation with GCC fails
601 - fixed that compilation with MS/Intel compilers on Windows and Cray compilers was broken when enabling PAPILO
607 - Fixed problem with reading long lines in LP/FZN/OPB/Diff-files. The buffer is now reallocated,
612 - made SCIPlpiGetSolverName()/SCIPlpiGetSolverDesc() thread-safe for LP Solvers (Cplex,Gurobi,Glop,Mosek,SoPlex,Xpress)
616 - Deactivated dual fixing of unlocked variables with zero objective in presol_milp that SCIP is unable to postsolve.
618 - fixed bug in propagation of indicator constraints (one case always reported a change through propagation)
626 - Variables that were marked as relaxation-only and that were not used in any solution (SCIP_SOL)
628 - New symmetry handling method, symmetry handling inequalities based on the Schreier Sims table,
635 - New separator to generate mixing cuts (works well for stochastic programming with probabilistic constraint).
639 - Added code to support debugging of catching or releasing of variables to var.c (prints backtrace
643 - Removed use of Hessian sparsity pattern for nonquadratic nonlinear constraints in undercover heuristic.
646 - New separator sepa_minor to compute cuts from 2x2 minors of a violated semidefiniteness constraint that is
648 - New separator sepa_interminor to compute intersection cuts from 2x2 (not only principle) minors of a violated
650 - Symmetry handling has been extended to detect also symmetries between variables that also appear in nonlinear constraints.
651 - Improved OBBT propagator by only considering variables that are contained in at least one nonconvex expression that has an auxiliary variable.
654 - Knapsack, linear, logicor, setppc, and varbound constraints now add themselves to the NLP relaxation, if enabled.
655 And, linking constraints and bounddisjunctions in one variable are added to the NLP relaxation now.
657 - Extended data structure SCIP_ROWPREP and routines to assemble a linear inequality before it is turned into a SCIP row and
661 - New emphasis "benchmark" to avoid different solving paths that may come from checking remaining memory.
662 - New plugin type for cut selection: users can now include their own cut selection rules, default rule moved to cutsel_hybrid.
663 - New construction heuristic DPS which additionally needs a user-provided decomposition and splits the problem into several sub-SCIPs
664 according to this decomposition. The sub-SCIPs are solved and updated repeatedly until a feasible solution of the original problem is found.
667 - Removed support for expression types min and max for now. Removed support for expression type sign.
670 - Added support for expression types sin, cos, and entropy. Added an expression type that stores a SCIP variable.
674 - Replaced expressions, expression trees, and expression graphs by a new implementation of expressions.
678 - Improved simplification of expressions and identification of common subexpressions, in particular terms that appear
680 - Expression simplification now expands powers also when the resulting exponents will be larger than 2.
682 - Removed interval-arithmetic evaluation from expression interpreter (interfaces to automatic differentiation codes).
683 - Hessians for user-provided expression handlers are not available in the NLP solver interfaces for now.
687 - cons_nonlinear has been completely rewritten and now handles constraints of the form lhs <= expr <= rhs, where
688 expr is an expression using the new expression type. A linear part of a nonlinear constraint is no longer distinguished.
689 - Methods that work on a particular nonlinear structure are now implemented via nonlinear handlers (nlhdlr).
690 These handlers are plugins of cons_nonlinear and interact with cons_nonlinear by detecting structures in expressions and
692 - Added nlhdlr "default" as a mandatory nlhdlr: this is a nlhdlr that gets active on expressions that no other nlhdlr handles.
693 It then uses the callbacks implemented in expression handlers to provide domain propagation and linear under/overestimates.
694 - Added nlhdlr for quadratic expressions: domain propagation that was previously part of cons_quadratic; separation via intersection cuts (currently disabled).
695 - Added nlhdlr for bilinear expressions: collects bilinear products and provides under/overestimation of a product over a 2D-projection of the LP.
696 - Added nlhdlr for convex and concave expressions: detection of convex/concave subexpressions and linear under/overestimation.
697 - Added nlhdlr for quotients: detects quotients, provides specialized linear under/overestimation and domain propagation for univariate quotients.
698 - Added nlhdlr for perspective reformulations: detects expressions in semi-continuous variables and tightens linear
700 - Added nlhdlr for second-order cones: detects second-order cone constraints (as ||x|| <= t or a quadratic that can written like that) and
705 Removed resolving of domain propagation (ConsResProp callback) and conflict analysis for abspower constraints.
709 Removed possibility to add linearizations a la Glineur or BenTal&Nemirovski for SOC constraints.
712 Removed option to project LP solution onto feasible region of a quadratic constraint via interior point or gauge function.
721 - Improved locking of nonlinear variables in nonlinear constraints by taking monotonicity into account.
722 - Improved mechanisms to detect and handle structures in nonlinear constraints, which allows for several algorithms
724 - Improved linearization of (sums of) products of binary variables, e.g., clique information is now taken into account.
726 - Nonlinear constraints with the same function (but possibly different left- or right-hand-side) are now merged.
727 - When a variable appears in only one concave less-or-equal constraint, it will be fixed to one of its bounds in more cases now.
728 - New branching rule for variables in nonlinear constraints (implemented in cons_nonlinear) that scores candidates
736 - Separate lifted cover cuts based on newer lifting function of Letchford and Souli (2019) in sepa_aggregation.c.
741 - Improved handling for expressions of type signpower in CppAD interface by making use of CppADs conditional expressions.
745 - Disabled branching on variables that are added for the extended formulation of a nonlinear constraint.
746 - Prefer branching on variables in nonconvex terms of nonlinear constraints also if a cut could be generated but would yield a small reduction in the convexification gap only.
747 - When violations of nonlinear constraints are tiny, the feasibility tolerance for the LP relaxation may now be reduced temporarily to allow for cuts to have an effect.
748 - Improved under/overestimation of multidimensional vertex-polyhedral (e.g., multilinear or concave) functions by use of scaling and keeping the cut-generating LP around.
750 - No longer relax bounds of integral variables when computing bounds on activity in nonlinear constraints.
752 - Revised and improved subNLP primal heuristic, in particular choice of iteration limit and starting condition and reuse of subSCIP.
753 - Merge strongcg into the gomory separator to avoid computing the same base equality twice. The files
755 - The RENS neighborhood in ALNS now fixes fractional variables if necessary for reaching its target fixing rate.
757 - If decomposition/maxgraphedge = 0, the computation of the block graph is completely turned off.
758 - Fixed a performance bug in cons_integral.c where rounding information was passed incorrectly to the generic diving algorithm.
767 Two new problem classes are supported: maximum-weight connected subgraph problem with budget constraints, partial-terminal node-weighted Steiner tree problem.
775 - extend SEPAEXEC{LP,SOL} callbacks by parameter "depth", which should be used within separation instead of SCIPgetCurrentDepth()
776 - extend SCIPseparateSolCutpool() by parameter "pretendroot", which is passed to SCIPcutpoolSeparate() instead of SCIPtreeGetCurrentDepth(scip->tree) == 0
777 - removed SCIP_DECL_EXPRGRAPHVARADDED, SCIP_DECL_EXPRGRAPHVARREMOVE, SCIP_DECL_EXPRGRAPHVARCHGIDX
778 - removed SCIP_DECL_USEREXPRESTIMATE, SCIP_DECL_USEREXPREVAL, SCIP_DECL_USEREXPRINTEVAL, SCIP_DECL_USEREXPRCURV, SCIP_DECL_USEREXPRPROP, SCIP_DECL_USEREXPRCOPYDATA, SCIP_DECL_USEREXPRFREEDATA, SCIP_DECL_USEREXPRPRINT
779 - added SCIP_DECL_EXPR_OWNERFREE, SCIP_DECL_EXPR_OWNERPRINT, SCIP_DECL_EXPR_OWNEREVALACTIVITY, SCIP_DECL_EXPR_OWNERCREATE
781 - added SCIP_DECL_EXPRCOPYHDLR, SCIP_DECL_EXPRFREEHDLR, SCIP_DECL_EXPRCOPYDATA, SCIP_DECL_EXPRFREEDATA, SCIP_DECL_EXPRPRINT, SCIP_DECL_EXPRPARSE, SCIP_DECL_EXPRCURVATURE, SCIP_DECL_EXPRMONOTONICITY, SCIP_DECL_EXPRINTEGRALITY, SCIP_DECL_EXPRHASH, SCIP_DECL_EXPRCOMPARE, SCIP_DECL_EXPREVAL, SCIP_DECL_EXPRBWDIFF, SCIP_DECL_EXPRFWDIFF, SCIP_DECL_EXPRBWFWDIFF, SCIP_DECL_EXPRINTEVAL, SCIP_DECL_EXPRESTIMATE, SCIP_DECL_EXPRINITESTIMATES, SCIP_DECL_EXPRSIMPLIFY, SCIP_DECL_EXPRREVERSEPROP
784 - added argument nvarexprs to SCIP_DECL_NONLINCONSUPGD to inform upgrade method about number of variables in constraint
786 - added SCIP_DECL_NLHDLRCOPYHDLR, SCIP_DECL_NLHDLRFREEHDLRDATA, SCIP_DECL_NLHDLRFREEEXPRDATA, SCIP_DECL_NLHDLRINIT, SCIP_DECL_NLHDLREXIT, SCIP_DECL_NLHDLRDETECT, SCIP_DECL_NLHDLREVALAUX, SCIP_DECL_NLHDLRINTEVAL, SCIP_DECL_NLHDLRREVERSEPROP, SCIP_DECL_NLHDLRINITSEPA, SCIP_DECL_NLHDLREXITSEPA, SCIP_DECL_NLHDLRENFO, SCIP_DECL_NLHDLRESTIMATE
787 - replaced BMS_BLKMEM* blkmem argument of SCIP_DECL_NLPICOPY by SCIP* scip, removed targetnlpi argument
789 - added SCIP* scip to SCIP_DECL_NLPIGETSOLVERPOINTER, SCIP_DECL_NLPICREATEPROBLEM, SCIP_DECL_NLPIFREEPROBLEM, SCIP_DECL_NLPIGETPROBLEMPOINTER, SCIP_DECL_NLPIADDVARS, SCIP_DECL_NLPIADDCONSTRAINTS, SCIP_DECL_NLPISETOBJECTIVE, SCIP_DECL_NLPICHGVARBOUNDS, SCIP_DECL_NLPICHGCONSSIDES, SCIP_DECL_NLPIDELVARSET, SCIP_DECL_NLPIDELCONSSET, SCIP_DECL_NLPICHGLINEARCOEFS, SCIP_DECL_NLPICHGOBJCONSTANT, SCIP_DECL_NLPISETINITIALGUESS, SCIP_DECL_NLPISOLVE, SCIP_DECL_NLPIGETSOLSTAT, SCIP_DECL_NLPIGETTERMSTAT, SCIP_DECL_NLPIGETSOLUTION, SCIP_DECL_NLPIGETSTATISTICS
791 - removed nquadelems, quadelems, exprvaridxs arguments from SCIP_DECL_NLPIADDCONSTRAINTS, changed exprtrees argument to exprs
792 - removed nquadelems, quadelems, exprvaridxs arguments from SCIP_DECL_NLPISETOBJECTIVE, changed exprtree argument to expr
798 - When calling SCIPdelVar() in the SCIP_STAGE_PROBLEM stage, it is now documented as the user's responsibility to ensure
799 the variable is not present in any constraints. Otherwise, SCIPsolve() now returns SCIP_INVALIDDATA.
800 - removed SCIPselectCuts(), replaced by SCIPselectCutsHybrid() of the hybrid cut selector plugin
801 - If SCIPvarMarkRelaxationOnly() is called for a variable, then this now need to happen before the
804 - SCIPcomputeOrbitsFilterSym() and SCIPcomputeComponentsSym(): Type of argument componentblocked
807 - SCIPcreateConsOrbitope() and SCIPcreateConsBasicOrbitope() have two new arguments "usedynamicprop"
808 and "mayinteract" to encode whether a dynamic reordering of the orbitope rows shall be used in
812 - internal function SCIPgenerateOrbitopeVarsMatrix() has new arguments "storelexorder", "lexorder",
813 "nvarsorder", "maxnvarsorder" to compute and store the lexicographic order defined by an orbitope
815 SCIPcomputeArraysIntersectionInt() and SCIPcomputeArraysSetminusInt(), respectively, and changed
817 - removed SCIPincludeDialogDefault(), use SCIPincludeDialogDefaultBasic() instead and check whether you also need SCIPincludeDialogDefaultSet() and SCIPincludeDialogDefaultFix()
823 - removed SCIPconsNonlinearGetRhs(), SCIPconsNonlinearGetLhs(), SCIPconsNonlinearAddLinearCoef()
824 - removed arguments timelimit, minimprove, itercontingent, and iterused from SCIPapplyHeurSubNlp()
825 - removed SCIPresolveSolHeurSubNlp(), SCIPgetSubScipHeurSubNlp(), SCIPgetVarMappingScip2SubScipHeurSubNlp(), SCIPgetVarMappingSubScip2ScipHeurSubNlp()
827 - Added functions SCIPsetSepaIsParentsepa(), SCIPsetSepaParentsepa() [in scip_sepa.h], SCIPsepaSetIsParentsepa(), SCIPsepaSetParentsepa() [in sepa.h],
829 - Added function SCIPpruneTree() to immediately delete nodes that were marked to be deleted with SCIPcutoffNode
832 - SCIPhasNLPContinuousNonlinearity() now returns SCIP_RETCODE and has additional argument result
833 - removed SCIPnlrowGetNQuadVars(), SCIPnlrowGetQuadVars(), SCIPnlrowSearchQuadVar(), SCIPnlrowGetNQuadElems(), SCIPnlrowGetQuadElems(), SCIPnlrowGetQuadData()
835 - removed arguments nquadvars, quadvars, nquadelems, quadelems from SCIPcreateNlRow(); argument expr(ession) is now of type SCIP_EXPR*
836 - removed SCIPaddQuadVarToNlRow(), SCIPaddQuadVarsToNlRow(), SCIPaddQuadElementToNlRow(), SCIPaddQuadElementsToNlRow(), SCIPchgNlRowQuadElement(), SCIPsetNlRowExprtreeParam(), SCIPsetNlRowExprtreeParams()
837 - renamed SCIPsetNlRowExprtree() to SCIPsetNlRowExpr() and changed type of expr(tree) argument to SCIP_EXPR*
840 - SCIPhasNLPSolution() now returns true also if a infeasible solution to the NLP exists; SCIPcreateNLPSol() can now also be used when only an infeasible solution to the NLP exists
845 - removed SCIPnlpiCopy(), SCIPnlpiFree(), SCIPnlpiChgQuadCoefs(), SCIPnlpiChgNonlinCoef(), SCIPnlpiSetMessageHdlr()
878 nlpicopy, nlpifree, nlpigetsolverpointer, nlpicreateproblem, nlpifreeproblem, nlpigetproblempointer, nlpiaddvars, nlpiaddconstraints, nlpisetobjective, nlpichgvarbounds, nlpichgconssides, nlpidelvarset, nlpidelconsset, nlpichglinearcoefs, nlpichgexpr, nlpichgobjconstant, nlpisetinitialguess, nlpisolve, nlpigetsolstat, nlpigettermstat, nlpigetsolution, nlpigetstatistics, nlpidata
884 - added argument SCIP* scip to SCIPnlpiOracleFree(), SCIPnlpiOracleSetProblemName(), SCIPnlpiOracleAddVars(), SCIPnlpiOracleAddConstraints(), SCIPnlpiOracleSetObjective(), SCIPnlpiOracleChgVarBounds(), SCIPnlpiOracleChgConsSides(), SCIPnlpiOracleDelVarSet(), SCIPnlpiOracleDelConsSet(), SCIPnlpiOracleChgLinearCoefs(), SCIPnlpiOracleChgObjConstant(), SCIPnlpiOracleGetEvalCapability(), SCIPnlpiOracleEvalObjectiveValue(), SCIPnlpiOracleEvalConstraintValue(), SCIPnlpiOracleEvalConstraintValues(), SCIPnlpiOracleEvalObjectiveGradient(), SCIPnlpiOracleEvalConstraintGradient(), SCIPnlpiOracleGetJacobianSparsity(), SCIPnlpiOracleEvalJacobian(), SCIPnlpiOracleGetHessianLagSparsity(), SCIPnlpiOracleEvalHessianLag(), SCIPnlpiOraclePrintProblem(), SCIPnlpiOraclePrintProblemGams()
885 - removed arguments nquadelems, quadelems, exprvaridxs, exprtrees from SCIPnlpiOracleAddConstraints(), added argument SCIP_EXPR** exprs
886 - removed arguments nquadelems, quadelems, exprvaridxs, exprtree from SCIPnlpiOracleSetObjective(), added argument SCIP_EXPR* expr
887 - replaced arguments isnewx of SCIPnlpiOracleEvalHessianLag() by two arguments isnewx_obj and isnewx_cons
889 - removed SCIPnlpiOracleSetInfinity(), SCIPnlpiOracleGetInfinity(), SCIPnlpiOracleChgQuadCoefs(), SCIPnlpiOracleChgExprParam(), SCIPnlpiOracleGetMaxDegree()
890 - removed SCIPnlpiOracleGetVarDegree() and SCIPnlpiOracleGetVarDegrees(), use SCIPnlpiOracleIsVarNonlinear() and SCIPnlpiOracleGetVarCounts(), respectively, instead
891 - removed SCIPnlpiOracleGetConstraintDegree(), use SCIPnlpiOracleIsConstraintNonlinear() instead
892 - removed argument messagehdlr from SCIPnlpiOraclePrintProblem() and SCIPnlpiOraclePrintProblemGams()
898 - removed SCIPnlpStatisticsCreate(), SCIPnlpStatisticsFree(), SCIPnlpStatisticsGetNIterations(), SCIPnlpStatisticsGetTotalTime(), SCIPnlpStatisticsSetNIterations(), SCIPnlpStatisticsSetTotalTime(), the struct is public now
906 - added SCIP* as first argument to SCIPexprintCompile(), changed third argument to SCIP_EXPR*, added fourth argument SCIP_EXPRINTDATA**
907 - added arguments SCIP*, SCIP_EXPRINT*, and SCIP_EXPR* as first arguments to SCIPexprintFreeData()
909 added SCIP* as first argument, changed third argument to SCIP_EXPR*, added fourth argument SCIP_EXPRINTDATA*
911 - SCIPexprintEval(): added SCIP* as first argument, changed third argument to SCIP_EXPR*, added fourth argument SCIP_EXPRINTDATA*
913 - SCIPexprintGrad(): added SCIP* as first argument, changed third argument to SCIP_EXPR*, added fourth argument SCIP_EXPRINTDATA*
915 - removed SCIPexprintHessianSparsityDense() and SCIPexprintHessianDense, use SCIPexprintHessianSparsity() and SCIPexprintHessian() instead
921 - removed SCIPexprGetOpIndex(), SCIPexprGetOpReal(), SCIPexprGetOpData(), use SCIPexprGetData() instead
922 - removed SCIPexprGetRealPowerExponent(), SCIPexprGetIntPowerExponent(), SCIPexprGetSignPowerExponent(), use SCIPgetExponentExprPow() instead
923 - removed SCIPexprGetLinearCoefs(), SCIPexprGetLinearConstant(), use SCIPgetCoefsExprSum() and SCIPgetConstantExprSum() instead
924 - removed SCIPexprGetQuadElements(), SCIPexprGetQuadConstant(), SCIPexprGetQuadLinearCoefs(), SCIPexprGetNQuadElements(), use SCIPexprGetQuadraticData(), SCIPexprGetQuadraticQuadTerm(), SCIPexprGetQuadraticBilinTerm() instead
925 - removed SCIPexprGetMonomials(), SCIPexprGetNMonomials, SCIPexprGetPolynomialConstant(), SCIPexprGetMonomialCoef(), SCIPexprGetMonomialNFactors(), SCIPexprGetMonomialChildIndices(), SCIPexprGetMonomialExponents()
936 - removed SCIPexprCreatePolynomial(), SCIPexprAddMonomials(), SCIPexprChgPolynomialConstant(), SCIPexprMultiplyPolynomialByConstant(), SCIPexprMultiplyPolynomialByMonomial(), SCIPexprMultiplyPolynomialByPolynomial(), SCIPexprPolynomialPower()
937 - removed SCIPexprMergeMonomials(), SCIPexprFreeMonomial(), SCIPexprSortMonomialFactors(), SCIPexprFindMonomialFactor(), SCIPexprAreMonomialsEqual(), SCIPexprAddMonomialFactors(), SCIPexprChgMonomialCoef(), SCIPexprMultiplyMonomialByMonomial(), SCIPexprMonomialPower(), SCIPexprMergeMonomialFactors(), SCIPexprSortMonomials()
955 - removed SCIPexprtreeGetVars(), SCIPexprtreeSetVars(), SCIPexprtreeAddVars(), SCIPexprtreePrintWithNames(), SCIPexprtreeFindVar()
956 - removed SCIPexprtreeGetRoot(), SCIPexprtreeGetNVars(), SCIPexprtreeGetNParams(), SCIPexprtreeGetParamVals(), SCIPexprtreeSetParamVal(), SCIPexprtreeHasParam()
957 - removed SCIPexprtreeGetInterpreterData(), SCIPexprtreeSetInterpreterData(), SCIPexprtreeFreeInterpreterData()
977 - removed SCIPexprgraphGetNodeNParents(), SCIPexprgraphGetNodeParents(), SCIPexprgraphGetNodeDepth(), SCIPexprgraphGetNodePosition()
979 - removed SCIPexprgraphGetNodeOperatorIndex(), SCIPexprgraphGetNodeOperatorReal(), use SCIPexprGetData() instead
981 - removed SCIPexprgraphGetNodeRealPowerExponent(), SCIPexprgraphGetNodeIntPowerExponent(), SCIPexprgraphGetNodeSignPowerExponent(), use SCIPgetExponentExprPow() instead
982 - removed SCIPexprgraphGetNodeLinearCoefs(), SCIPexprgraphGetNodeLinearConstant(), use SCIPgetCoefsExprSum(), SCIPgetConstantExprSum() instead
983 - removed SCIPexprgraphGetNodeQuadraticConstant(), SCIPexprgraphGetNodeQuadraticLinearCoefs(), SCIPexprgraphGetNodeQuadraticQuadElements(), SCIPexprgraphGetNodeQuadraticNQuadElements(), use SCIPexprGetQuadraticData(), SCIPexprGetQuadraticQuadTerm(), SCIPexprGetQuadraticBilinTerm() instead
984 - removed SCIPexprgraphGetNodePolynomialMonomials(), SCIPexprgraphGetNodePolynomialNMonomials(), SCIPexprgraphGetNodePolynomialConstant(), SCIPexprgraphGetNodePolynomialMonomialCurvature()
993 - removed SCIPexprgraphCreateNodeUser(), removed SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphMoveNodeParents()
997 - removed SCIPexprgraphHasNodeSibling(), SCIPexprgraphAreAllNodeChildrenVars(), SCIPexprgraphHasNodeNonlinearAncestor()
1000 - removed SCIPexprgraphUpdateNodeBoundsCurvature(), use SCIPevalExprActivity() and SCIPcomputeExprCurvature() instead
1001 - removed SCIPexprgraphGetDepth(), SCIPexprgraphGetNNodes(), SCIPexprgraphGetNodes(), SCIPexprgraphGetNVars(), SCIPexprgraphGetVars()
1002 - removed SCIPexprgraphGetVarNodes(), SCIPexprgraphSetVarNodeValue(), SCIPexprgraphSetVarsBounds(), SCIPexprgraphSetVarBounds(), SCIPexprgraphSetVarNodeBounds(), SCIPexprgraphSetVarNodeLb(), SCIPexprgraphSetVarNodeUb(), SCIPexprgraphGetVarsBounds()
1004 - removed SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphAddConst(), SCIPexprgraphAddExprtreeSum()
1005 - removed SCIPexprgraphReplaceVarByLinearSum(), SCIPexprgraphFindVarNode(), SCIPexprgraphFindConstNode()
1006 - replaced SCIPexprgraphPrintDot() by SCIPprintExprDotInit[2](), SCIPprintExprDot(), SCIPprintExprDotFinal()
1011 - removed SCIPexprgraphGetTree(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSubtreeVarsUsage(), SCIPexprgraphGetSumTreesNSummands(), SCIPexprgraphGetSumTrees()
1015 - deprecated SCIPcreateConsAbspower() and SCIPcreateConsBasicAbspower(), use SCIPcreateConsBasicSignpowerNonlinear() instead
1017 - removed SCIPgetNonlinearVarAbspower(), SCIPgetLinearVarAbspower(), SCIPgetExponentAbspower(), SCIPgetOffsetAbspower(), SCIPgetCoefLinearAbspower(), SCIPgetLhsAbspower(), SCIPgetRhsAbspower()
1020 - removed SCIPincludeConshdlrBivariate(), SCIPcreateConsBivariate(), SCIPcreateConsBasicBivariate()
1021 - removed SCIPgetLinearVarBivariate(), SCIPgetLinearCoefBivariate(), SCIPgetExprtreeBivariate(), SCIPgetLhsBivariate(), SCIPgetRhsBivariate()
1025 - deprecated SCIPcreateConsBasicQuadratic(), use SCIPcreateConsBasicQuadraticNonlinear() instead
1027 - deprecated SCIPaddConstantQuadratic(), use SCIPgetLhsNonlinear() and SCIPgetRhsNonlinear() instead
1029 - deprecated SCIPaddQuadVarQuadratic(), use SCIPaddLinearVarNonlinear() and SCIPaddExprNonlinear() instead
1036 - removed SCIPgetNLinearVarsQuadratic(), SCIPgetLinearVarsQuadratic(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetQuadVarTermsQuadratic(), SCIPsortQuadVarTermsQuadratic(), SCIPfindQuadVarTermQuadratic(), SCIPgetNBilinTermsQuadratic(), SCIPgetBilinTermsQuadratic(), SCIPgetLhsQuadratic(), SCIPgetRhsQuadratic()
1038 - removed SCIPcheckCurvatureQuadratic() and SCIPisConvexConsQuadratic(), use SCIPcomputeExprQuadraticCurvature() instead
1040 - removed SCIPgetViolationQuadratic() and SCIPgetFeasibilityQuadratic(), use SCIPgetAbsViolationNonlinear() instead
1042 - removed SCIPchgLinearCoefQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgBilinCoefQuadratic()
1043 - renamed SCIPgetNAllBilinearTermsQuadratic() to SCIPgetNBilinTermsNonlinear() and changed argument from SCIP* to SCIP_CONSHDLR*
1044 - renamed SCIPgetAllBilinearTermsQuadratic() to SCIPgetBilinTermsNonlinear() and replaced arguments by SCIP_CONSHDLR* and changed return type to SCIP_CONSNONLINEAR_BILINTERM*
1045 - removed SCIPaddBilinearIneqQuadratic(), use SCIPinsertBilinearTermImplicitNonlinear() instead
1046 - renamed SCIPcreateConsQuadratic() to SCIPcreateConsQuadraticNonlinear() and removed argument stickingatnode
1051 - removed SCIPgetNLhsVarsSOC(), SCIPgetLhsVarsSOC(), SCIPgetLhsCoefsSOC(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsConstantSOC(), SCIPgetRhsVarSOC(), SCIPgetRhsCoefSOC(), SCIPgetRhsOffsetSOC(), use SCIPisSOCNonlinear() instead
1053 - renamed SCIPincludeNonlinconsUpgrade() to SCIPincludeConsUpgradeNonlinear() and removed nodereform argument
1054 - removed arguments nlinvars, linvars, lincoefs, nexprtrees, exprtrees, nonlincoefs, stickingatnode from SCIPcreateConsNonlinear() and added SCIP_EXPR* argument
1055 - removed arguments nlinvars, linvars, lincoefs, nexprtrees, exprtrees, nonlincoefs from SCIPcreateConsBasicNonlinear() and added SCIP_EXPR* argument
1059 - removed SCIPgetNLinearVarsNonlinear(), SCIPgetLinearVarsNonlinear(), SCIPgetLinearCoefsNonlinear()
1060 - removed SCIPgetNExprtreesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprgraphNodeNonlinear(), use SCIPgetExprNonlinear() instead
1062 - removed SCIPcheckCurvatureNonlinear(), SCIPgetCurvatureNonlinear(), and SCIPgetExprtreeCurvaturesNonlinear(), use SCIPhasExprCurvature() instead
1064 - added arguments var and coef to SCIPgetLinvarMayDecreaseNonlinear() and SCIPgetLinvarMayIncreaseNonlinear() and changed return type to void
1066 - removed SCIPcomputeHyperplaneThreePoints(), use SCIPcomputeFacetVertexPolyhedralNonlinear() instead
1070 - added SCIPallocClearMemory() and SCIPallocClearBlockMemory() to allocate a chunk of (block) memory
1081 - added SCIPcomputeArraysIntersectionPtr() to compute intersection of two sorted arrays of pointers
1082 - new function SCIPinterruptLP() (intended to be called from a different thread) that interrupts ongoing lp solve
1085 add an activeone argument to specify whether the indicator constraint should be activated on 0 or 1.
1086 SCIPcreateConsIndicator() also adds a lessthanineq flag to choose whether the linear constraint is a less-than or greater-than inequality.
1089 - added SCIPdecompGetNBorderVars() and SCIPdecompGetNBorderConss() to get number of border variables/constraints
1090 - added SCIPdecompGetVarsSize() and SCIPdecompGetConssSize() to get variable/constraint size for each block of a decomposition
1098 SCIProwprepGetNVars(), SCIProwprepGetVars(), SCIProwprepGetCoefs(), SCIProwprepGetSide(), SCIProwprepGetSidetype(), SCIProwprepIsLocal(), SCIProwprepGetName(), SCIProwprepGetNModifiedVars(), SCIProwprepGetModifiedVars(),
1099 SCIProwprepReset(), SCIProwprepAddSide(), SCIProwprepAddConstant(), SCIProwprepSetSidetype(), SCIProwprepSetLocal(), SCIProwprepRecordModifications(),
1100 SCIPprintRowprep(), SCIPprintRowprepSol(), SCIPensureRowprepSize(), SCIPaddRowprepTerm(), SCIPaddRowprepTerms(), SCIPgetRowprepViolation(), SCIPisRowprepViolationReliable(),
1101 SCIPmergeRowprepTerms(), SCIPcleanupRowprep(), SCIPcleanupRowprep2(), SCIPscaleupRowprep(), SCIPscaleRowprep(),
1107 - moved SCIPhistoryGetInferenceSum() and SCIPhistoryGetAvgConflictlength() from internal to public API
1111 - added SCIPgetExprhdlrVar(), SCIPgetExprhdlrValue(), SCIPgetExprhdlrSum(), SCIPgetExprhdlrProduct(), SCIPgetExprhdlrPower()
1112 - added SCIPexprhdlrSetCopyFreeHdlr(), SCIPexprhdlrSetCopyFreeData(), SCIPexprhdlrSetPrint(), SCIPexprhdlrSetParse(), SCIPexprhdlrSetCurvature(), SCIPexprhdlrSetMonotonicity(), SCIPexprhdlrSetIntegrality(), SCIPexprhdlrSetHash(), SCIPexprhdlrSetCompare(), SCIPexprhdlrSetDiff(), SCIPexprhdlrSetIntEval(), SCIPexprhdlrSetSimplify(), SCIPexprhdlrSetReverseProp(), SCIPexprhdlrSetEstimate()
1113 - added SCIPexprhdlrGetName(), SCIPexprhdlrGetDescription(), SCIPexprhdlrGetPrecedence(), SCIPexprhdlrGetData(), SCIPexprhdlrHasPrint(), SCIPexprhdlrHasBwdiff(), SCIPexprhdlrHasFwdiff(), SCIPexprhdlrHasIntEval(), SCIPexprhdlrHasEstimate(), SCIPexprhdlrHasInitEstimates(), SCIPexprhdlrHasSimplify(), SCIPexprhdlrHasCurvature(), SCIPexprhdlrHasMonotonicity(), SCIPexprhdlrHasReverseProp()
1115 - added SCIPexprhdlrGetNIntevalCalls(), SCIPexprhdlrGetIntevalTime(), SCIPexprhdlrGetNReversepropCalls(), SCIPexprhdlrGetReversepropTime(), SCIPexprhdlrGetNCutoffs(), SCIPexprhdlrGetNDomainReductions(), SCIPexprhdlrIncrementNDomainReductions(), SCIPexprhdlrGetNEstimateCalls(), SCIPexprhdlrGetEstimateTime(), SCIPexprhdlrGetNBranchings(), SCIPexprhdlrIncrementNBranchings(), SCIPexprhdlrGetNSimplifyCalls(), SCIPexprhdlrGetSimplifyTime(), SCIPexprhdlrGetNSimplifications()
1122 - added SCIPcreateExprPow(), SCIPcreateExprSignpower(), SCIPincludeExprhdlrPow(), SCIPincludeExprhdlrSignpower(), SCIPisExprSignpower(), SCIPgetExponentExprPow(), SCIPisExprPower()
1123 - added SCIPincludeExprhdlrProduct(), SCIPcreateExprProduct(), SCIPgetCoefExprProduct(), SCIPisExprProduct()
1124 - added SCIPincludeExprhdlrSum(), SCIPcreateExprSum(), SCIPsetConstantExprSum(), SCIPappendExprSumExpr(), SCIPmultiplyByConstantExprSum(), SCIPgetCoefsExprSum(), SCIPgetConstantExprSum(), SCIPisExprSum()
1125 - added SCIPincludeExprhdlrSin(), SCIPcreateExprSin(), SCIPincludeExprhdlrCos(), SCIPcreateExprCos(), SCIPisExprSin(), SCIPisExprCos()
1126 - added SCIPincludeExprhdlrValue(), SCIPcreateExprValue(), SCIPgetValueExprValue(), SCIPisExprValue()
1128 - added SCIPincludeExprhdlrVaridx(), SCIPcreateExprVaridx(), SCIPisExprVaridx(), SCIPgetIndexExprVaridx(), SCIPsetIndexExprVaridx()
1134 - added SCIPevalExprGradient(), SCIPevalExprHessianDir(), SCIPexprGetDerivative(), SCIPexprGetDot(), SCIPexprGetBardot(), SCIPexprGetDiffTag()
1135 - added SCIPevalExprActivity(), SCIPexprGetActivity(), SCIPexprGetActivityTag(), SCIPexprSetActivity()
1138 - added SCIPcheckExprQuadratic(), SCIPfreeExprQuadratic(), SCIPevalExprQuadratic(), SCIPprintExprQuadratic(), SCIPcomputeExprQuadraticCurvature()
1139 - added SCIPexprGetQuadraticData(), SCIPexprGetQuadraticQuadTerm(), SCIPexprGetQuadraticBilinTerm(), SCIPexprAreQuadraticExprsVariables()
1140 - added SCIPcreateExpr(), SCIPcreateExpr2(), SCIPcreateExprQuadratic(), SCIPcreateExprMonomial()
1145 - added SCIPprintExprDotInit(), SCIPprintExprDotInit2(), SCIPprintExprDot(), SCIPprintExprDotFinal(), SCIPshowExpr()
1149 - added SCIPcallExprPrint(), SCIPcallExprCurvature(), SCIPcallExprMonotonicity(), SCIPcallExprEval(), SCIPcallExprEvalFwdiff(), SCIPcallExprInteval(), SCIPcallExprEstimate(), SCIPcallExprInitestimates(), SCIPcallExprSimplify(), SCIPcallExprReverseprop()
1155 - added SCIPexpriterRestartDFS(), SCIPexpriterSetStagesDFS(), SCIPexpriterGetCurrent(), SCIPexpriterGetStageDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetParentDFS()
1156 - added SCIPexpriterGetCurrentUserData(), SCIPexpriterGetChildUserDataDFS(), SCIPexpriterGetExprUserData(), SCIPexpriterSetCurrentUserData(), SCIPexpriterSetExprUserData(), SCIPexpriterSetChildUserData()
1161 - added SCIPgetCurBoundsTagNonlinear(), SCIPgetLastBoundRelaxTagNonlinear(), SCIPincrementCurBoundsTagNonlinear()
1165 - added SCIPcollectBilinTermsNonlinear(), SCIPgetBilinTermIdxNonlinear(), SCIPgetBilinTermNonlinear(), SCIPevalBilinAuxExprNonlinear(), SCIPinsertBilinearTermExistingNonlinear(), SCIPinsertBilinearTermImplicitNonlinear()
1168 - added SCIPcheckQuadraticNonlinear(), SCIPchgLhsNonlinear(), SCIPchgRhsNonlinear(), SCIPchgExprNonlinear(), SCIPaddExprNonlinear()
1170 - added SCIPgetExprNLocksPosNonlinear(), SCIPgetExprNLocksNegNonlinear(), SCIPgetExprAuxVarNonlinear(), SCIPgetExprNEnfosNonlinear(), SCIPgetExprEnfoDataNonlinear(), SCIPsetExprEnfoAuxValueNonlinear()
1171 - added SCIPgetExprNPropUsesActivityNonlinear(), SCIPgetExprNSepaUsesActivityNonlinear(), SCIPgetExprNAuxvarUsesNonlinear(), SCIPregisterExprUsageNonlinear()
1172 - added SCIPgetExprAbsOrigViolationNonlinear(), SCIPgetExprAbsAuxViolationNonlinear(), SCIPgetExprRelAuxViolationNonlinear()
1173 - added SCIPgetExprBoundsNonlinear(), SCIPtightenExprIntervalNonlinear(), SCIPmarkExprPropagateNonlinear()
1174 - added SCIPaddExprViolScoreNonlinear(), SCIPaddExprsViolScoreNonlinear(), SCIPgetExprViolScoreNonlinear()
1177 - added SCIPincludeNlhdlrNonlinear(), SCIPfindNlhdlrNonlinear(), SCIPgetNNlhdlrsNonlinear(), SCIPgetNlhdlrsNonlinear(), SCIPgetNlhdlrExprDataNonlinear()
1178 - added SCIPcreateConsQuadraticNonlinear() and SCIPcreateConsBasicQuadraticNonlinear() to create a nonlinear constraint that is quadratic
1179 - added SCIPcreateConsBasicSignpowerNonlinear() to create a nonlinear constraint that looks like the former abspower or signpower constraints
1182 - added SCIPincludeNlhdlrBilinear(), SCIPgetExprsBilinear(), SCIPgetExprsdataBilinear(), SCIPgetNExprsBilinear(), SCIPaddIneqBilinear()
1189 - added SCIPnlhdlrSetCopyHdlr(), SCIPnlhdlrSetFreeHdlrData(), SCIPnlhdlrSetFreeExprData(), SCIPnlhdlrSetInitExit(), SCIPnlhdlrSetProp(), SCIPnlhdlrSetSepa()
1190 - added SCIPnlhdlrGetName(), SCIPnlhdlrGetDesc(), SCIPnlhdlrGetDetectPriority(), SCIPnlhdlrGetEnfoPriority(), SCIPnlhdlrIsEnabled(), SCIPnlhdlrGetData()
1191 - added SCIPnlhdlrHasIntEval(), SCIPnlhdlrHasReverseProp(), SCIPnlhdlrHasInitSepa(), SCIPnlhdlrHasExitSepa(), SCIPnlhdlrHasEnfo(), SCIPnlhdlrHasEstimate()
1195 - added SCIPgetNlpiSolverPointer(), SCIPcreateNlpiProblem(), SCIPfreeNlpiProblem(), SCIPgetNlpiProblemPointer(), SCIPaddNlpiVars(), SCIPaddNlpiConstraints(), SCIPsetNlpiObjective(), SCIPchgNlpiVarBounds(), SCIPchgNlpiConsSides(), SCIPdelNlpiVarSet(), SCIPdelNlpiConsSet(), SCIPchgNlpiLinearCoefs(), SCIPchgNlpiExpr(), SCIPchgNlpiObjConstant(), SCIPsetNlpiInitialGuess(), SCIPsolveNlpiParam(), SCIPgetNlpiSolstat(), SCIPgetNlpiTermstat(), SCIPgetNlpiSolution(), SCIPgetNlpiStatistics()
1197 - added SCIPincludeNlpSolverFilterSQP(), SCIPgetSolverNameFilterSQP(), SCIPgetSolverDescFilterSQP(), SCIPisFilterSQPAvailableFilterSQP()
1203 - added SCIPnlpiOracleIsVarNonlinear(), SCIPnlpiOracleGetVarCounts(), SCIPnlpiOracleIsConstraintNonlinear()
1204 - added SCIPnlpiGetNProblems(), SCIPnlpiGetProblemTime(), SCIPnlpiGetNSolves(), SCIPnlpiGetSolveTime(), SCIPnlpiGetEvalTime(), SCIPnlpiGetNIterations(), SCIPnlpiGetNTermStat(), SCIPnlpiGetNSolStat(), SCIPnlpiMergeStatistics()
1210 - added SCIPincludeCutsel(), SCIPincludeCutselBasic(), SCIPsetCutselCopy(), SCIPsetCutselFree(), SCIPsetCutselInit(), SCIPsetCutselExit(), SCIPsetCutselInitsol(), SCIPsetCutselExitsol(), SCIPfindCutsel(), SCIPgetCutsels(), SCIPgetNCutsels(), SCIPsetCutselPriority()
1211 - added SCIPcutselGetName(), SCIPcutselGetData(), SCIPcutselGetDesc(), SCIPcutselGetPriority(), SCIPcutselSetData(), SCIPcutselIsInitialized(), SCIPcutselGetSetupTime(), SCIPcutselGetTime()
1217 the removed interface was a poorly maintained copy of the GAMS/SCIP interface that is available at
1219 - integrated AMPL interface into main SCIP executable, that is, added possibility to use SCIP executable as solver in AMPL
1220 (AMPL calls solver with name of .nl file and -AMPL as arguments; SCIP will then attempt to solve the problem and write an AMPL solution file)
1226 - Extended range of parameter "misc/usesymmetry" from [0,3] to [0,7], changed default from 3 to 5
1228 - changed type of parameter "propagating/symmetry/recomputerestart" from SCIP_Bool to int with range [0,2]
1231 - removed constraints/nonlinear/linfeasshift, constraints/nonlinear/reformulate, constraints/nonlinear/maxexpansionexponent, constraints/nonlinear/sepanlpmincont
1233 - removed constraints/nonlinear/upgrade/and, use constraints/nonlinear/reformbinprodsand instead
1239 - removed constraints/quadratic/sepafreq, constraints/quadratic/propfreq, constraints/quadratic/proptiming, constraints/quadratic/eagerfreq, constraints/quadratic/maxprerounds, constraints/quadratic/delaysepa, constraints/quadratic/delayprop, constraints/quadratic/presoltiming
1240 - removed constraints/quadratic/replacebinaryprod, use constraints/nonlinear/reformbinprodsfac instead
1241 - removed constraints/quadratic/empathy4and, use constraints/nonlinear/reformbinprodsand instead
1242 - removed constraints/quadratic/binreforminitial, constraints/quadratic/binreformbinaryonly, constraints/quadratic/binreformmaxcoef
1243 - removed constraints/quadratic/cutmaxrange, constraints/quadratic/mincurvcollectbilinterms, constraints/quadratic/linearizeheursol, constraints/quadratic/checkcurvature, constraints/quadratic/checkfactorable, constraints/quadratic/checkquadvarlocks, constraints/quadratic/linfeasshift
1244 - removed constraints/quadratic/maxdisaggrsize, constraints/quadratic/disaggrmergemethod, constraints/quadratic/maxproprounds, constraints/quadratic/maxproproundspresolve, constraints/quadratic/enfolplimit, constraints/quadratic/sepanlpmincont, constraints/quadratic/enfocutsremovable
1245 - removed constraints/quadratic/gaugecuts, constraints/quadratic/interiorcomputation, constraints/quadratic/projectedcuts, constraints/quadratic/branchscoring, constraints/quadratic/usebilinineqbranch, constraints/quadratic/bilinineqmaxseparounds,
1247 - removed constraints/quadratic/upgrade/linear, constraints/quadratic/upgrade/abspower, constraints/quadratic/upgrade/bivariate, constraints/quadratic/upgrade/bounddisjunction
1250 - removed constraints/abspower/sepafreq, constraints/abspower/propfreq, constraints/abspower/proptiming, constraints/abspower/eagerfreq, constraints/abspower/maxprerounds, constraints/abspower/delaysepa, constraints/abspower/delayprop, constraints/abspower/presoltiming
1251 - removed constraints/abspower/cutmaxrange, constraints/abspower/projectrefpoint, constraints/abspower/preferzerobranch, constraints/abspower/branchminconverror, constraints/abspower/addvarboundcons, constraints/abspower/linfeasshift, constraints/abspower/dualpresolve, constraints/abspower/sepainboundsonly, constraints/abspower/sepanlpmincont, constraints/abspower/enfocutsremovable
1252 - removed constraints/bivariate/sepafreq, constraints/bivariate/propfreq, constraints/bivariate/proptiming, constraints/bivariate/eagerfreq, constraints/bivariate/maxprerounds, constraints/bivariate/delaysepa, constraints/bivariate/delayprop, constraints/bivariate/presoltiming
1253 - removed constraints/bivariate/cutmaxrange, constraints/bivariate/linfeasshift, constraints/bivariate/maxproprounds, constraints/bivariate/ninitlprefpoints, constraints/bivariate/enfocutsremovable
1254 - removed constraints/soc/sepafreq, constraints/soc/propfreq, constraints/soc/proptiming, constraints/soc/eagerfreq, constraints/soc/maxprerounds, constraints/soc/delaysepa, constraints/soc/delayprop, constraints/soc/presoltiming
1255 - removed constraints/soc/projectpoint, constraints/soc/nauxvars, constraints/soc/glineur, constraints/soc/sparsify, constraints/soc/sparsifymaxloss, constraints/soc/sparsifynzgrowth, constraints/soc/linfeasshift, constraints/soc/nlpform, constraints/soc/sepanlpmincont, constraints/soc/enfocutsremovable, constraints/soc/disaggregate
1268 - removed heuristics/subnlp/runalways, use heuristics/subnlp/nodesoffset=INT_MAX and heuristics/subnlp/successrateexp = 0.0 instead
1273 - renamed separating/{minortho,minorthoroot,objparalfac,intsupportfac} to cutselection/hybrid/{minortho,minorthoroot,objparalweight,intsupportweight}
1277 - It is now possible to add orbitope constraints to handle symmetries even if not all variables
1281 - new parameter "propagating/symmetry/sstleaderrule" to select a rule for selecting the
1283 - new parameter "propagating/symmetry/ssttiebreakrule" to select a tiebreak rule for selecting the
1285 - new parameter "propagating/symmetry/sstleadervartype" to select the possible variable types
1287 - new parameter "propagating/symmetry/addconflictcuts" to control whether SST cuts are added if
1289 - new parameter "propagating/symmetry/sstaddcuts" to control whether SST cuts are added
1290 - new parameter "propagating/symmetry/sstmixedcomponents" to control whether SST cuts are added
1292 - new parameter "propagating/symmetry/detectsubgroups" to search for orbitopes defined by subgroups
1293 - new parameter "propagating/symmetry/addweaksbcs" to add Schreier Sims cuts for a single
1295 - new parameter "propagating/symmetry/addstrongsbcs" to add symretope facets for a single
1297 - new parameter "propagating/symmetry/maxnconsssubgroup" to control up to which number of
1299 - new parameter "propagating/symmetry/preferlessrows" to control whether orbitopes with
1301 - new parameter "propagating/symmetry/usedynamicprop" to control if rows of full orbitope
1305 - if run from AMPL: display/statistics to enable printing detailed solve statistics after solve
1306 - if run from AMPL: display/logfile to specify name of file to write SCIP log to (additionally to writing to stdout)
1307 - constraints/nonlinear/propauxvars, constraints/nonlinear/varboundrelax, constraints/nonlinear/varboundrelaxamount, constraints/nonlinear/conssiderelaxamount
1308 - constraints/nonlinear/vpmaxperturb, constraints/nonlinear/vpadjfacetthresh, constraints/nonlinear/vpdualsimplex
1309 - constraints/nonlinear/bilinmaxnauxexprs, constraints/nonlinear/forbidmultaggrnlvar, constraints/nonlinear/checkvarlocks, constraints/nonlinear/violscale
1310 - constraints/nonlinear/reformbinprods, constraints/nonlinear/reformbinprodsand, constraints/nonlinear/reformbinprodsfac
1311 - constraints/nonlinear/tightenlpfeastol, constraints/nonlinear/propinenforce, constraints/nonlinear/weakcutthreshold, constraints/nonlinear/strongcutmaxcoef, constraints/nonlinear/strongcutefficacy, constraints/nonlinear/forcestrongcut, constraints/nonlinear/enfoauxviolfactor, constraints/nonlinear/weakcutminviolfactor
1312 - constraints/nonlinear/branching/aux, constraints/nonlinear/branching/external, constraints/nonlinear/branching/highviolfactor, constraints/nonlinear/branching/highscorefactor, constraints/nonlinear/branching/violweight, constraints/nonlinear/branching/dualweight, constraints/nonlinear/branching/pscostweight, constraints/nonlinear/branching/domainweight, constraints/nonlinear/branching/vartypeweight, constraints/nonlinear/branching/scoreagg, constraints/nonlinear/branching/violsplit, constraints/nonlinear/branching/pscostreliable
1315 - nlhdlr/convex/enabled, nlhdlr/convex/detectsum, nlhdlr/convex/extendedform, nlhdlr/convex/cvxquadratic, nlhdlr/convex/cvxsignomial, nlhdlr/convex/cvxprodcomp, nlhdlr/convex/handletrivial
1316 - nlhdlr/concave/enabled, nlhdlr/concave/detectsum, nlhdlr/concave/cvxquadratic, nlhdlr/concave/cvxsignomial, nlhdlr/concave/cvxprodcomp, nlhdlr/concave/handletrivial
1317 - nlhdlr/bilinear/enabled, nlhdlr/bilinear/useinteval, nlhdlr/bilinear/usereverseprop, nlhdlr/bilinear/maxseparoundsroot, nlhdlr/bilinear/maxseparounds, nlhdlr/bilinear/maxsepadepth
1318 - nlhdlr/perspective/enabled, nlhdlr/perspective/maxproprounds, nlhdlr/perspective/mindomreduction, nlhdlr/perspective/minviolprobing, nlhdlr/perspective/probingonlyinsepa, nlhdlr/perspective/probingfreq, nlhdlr/perspective/convexonly, nlhdlr/perspective/tightenbounds, nlhdlr/perspective/adjrefpoint
1319 - nlhdlr/quadratic/enabled, nlhdlr/quadratic/useintersectioncuts, nlhdlr/quadratic/usestrengthening, nlhdlr/quadratic/useboundsasrays, nlhdlr/quadratic/ncutslimit, nlhdlr/quadratic/ncutslimitroot, nlhdlr/quadratic/maxrank, nlhdlr/quadratic/mincutviolation, nlhdlr/quadratic/minviolation, nlhdlr/quadratic/atwhichnodes, nlhdlr/quadratic/nstrengthlimit, nlhdlr/quadratic/ignorebadrayrestriction, nlhdlr/quadratic/ignorehighre
1324 - separating/minor/priority, separating/minor/freq, separating/minor/maxbounddist, separating/minor/delay, separating/minor/expbackoff, separating/minor/maxminorsconst, separating/minor/maxminorsfac, separating/minor/mincutviol, separating/minor/maxrounds, separating/minor/maxroundsroot, separating/minor/ignorepackingconss
1325 - separating/rlt/priority, separating/rlt/freq, separating/rlt/maxbounddist, separating/rlt/delay, separating/rlt/expbackoff, separating/rlt/maxncuts, separating/rlt/maxunknownterms, separating/rlt/maxusedvars, separating/rlt/maxrounds, separating/rlt/maxroundsroot, separating/rlt/onlyeqrows, separating/rlt/onlycontrows, separating/rlt/onlyoriginal, separating/rlt/useinsubscip, separating/rlt/useprojection, separating/rlt/detecthidden, separating/rlt/hiddenrlt, separating/rlt/addtopool, separating/rlt/goodscore, separating/rlt/badscore, separating/rlt/objparalweight, separating/rlt/efficacyweight, separating/rlt/dircutoffdistweight, separating/rlt/goodmaxparall, separating/rlt/maxparall
1326 - separating/interminor/usestrengthening, separating/interminor/usebounds, separating/interminor/mincutviol, separating/interminor/maxrounds, separating/interminor/maxroundsroot
1327 - table/cons_nonlinear/active, table/nlhdlr/active, table/exprhdlr/active, table/nlpi/active, table/nlhdlr_bilinear/active, table/nlhdlr_quadratic/active
1329 - benders/default/maxslackvarcoef to specify maximal coefficient for slack variables; if exceeded, slack variables are fixed to zero
1331 - nlpi/ipopt/print_level, nlpi/ipopt/hsllib, nlpi/ipopt/pardisolib, nlpi/ipopt/linear_solver, nlpi/ipopt/linear_system_scaling, nlpi/ipopt/nlp_scaling_method, nlpi/ipopt/mu_strategy, nlpi/ipopt/hessian_approximation
1337 - new parameters "branching/inference/conflictprio" and "branching/inference/cutoffprio" that allow
1339 - new parameters "heuristics/alns/nodesquotmin", "heuristics/alns/maxcallssamesol" and "heuristics/alns/initduringroot"
1341 - new parameter "benders/default/benderscut/optimality/mir" to control whether mixed-integer rounding procedure is applied to Benders optimality cuts
1343 - cutselection/hybrid/dircutoffdistweight, cutselection/hybrid/efficacyweight, cutselection/hybrid/intsupportweight, cutselection/hybrid/objparalweight, cutselection/hybrid/priority
1344 - new parameter "decomposition/disablemeasures" to disable expensive measures in SCIPcomputeDecompStats()
1345 - new parameter "presolving/milp/probfilename" filename to write the problem to a file before MILP presolving starts
1356 - removed structs SCIP_QUADELEM, SCIP_EXPRDATA_QUADRATIC, SCIP_EXPRDATA_MONOMIAL, SCIP_EXPRDATA_POLYNOMIAL, SCIP_EXPRDATA_USER
1371 - enum SCIP_NLPPARAM has been changed to a struct that holds values of parameters for an NLP solve
1373 - added SCIP_NLPTERMSTAT_INTERRUPT to SCIP_NLPTERMSTAT enum; returned from NLP solver if SCIPinterruptSolve() has been called
1498 - improved the likelihood that a solution that satisfies the nonlinear constraints in the transformed (presolved) problem is also feasible for the original problem
1500 - fixed that setting of feasiblity and optimiality tolerance for NLP relaxation was overwritten with defaults when solving NLP
1501 - fixed variance computation in t-value computation in hypothesis testing of reliability branching
1503 - do not transfer dual reductions to main SCIP in sepa_rapidlearning if strong dual reductions are forbidden
1504 - fixed a bug in cons_setppc.c:removeDoubleAndSingletonsAndPerformDualpresolve() which led to wrong variable aggregations
1505 - added missing redundancy check to coefficient tightening routine in cons_varbound that led to wrong variable locks
1508 - presol_milp.c handles variable fixings, suggested by PaPILO, more carefully to cover all cases that can appear
1509 - fixed several reproducability bugs that led to different solving paths across multiple runs with one SCIP environment
1510 - fixed check of limits/absgap, which was incorrectly applied to the scaled objective of the transformed problem
1515 - in LP, use absolute instead of relative tolerances to check whether solutions from LP solver are primal feasible
1516 - when a restart occurs, SCIP now asserts (during EXITSOLVE) that all relaxation-only variables are unlocked and
1520 - Recompute activity of rows when checking LP solutions instead of trusting the value given by the LP solver
1522 - Parameters are not reset to their default values before activating an emphasis setting; this now allows to combine
1524 - If a lazy bound is set to a value that is tighter than the current global bound, then the global bound is now tightened accordingly.
1539 - added function SCIPwithDebugSol() to determine whether SCIP was compiled with WITH_DEBUG_SOLUTION
1541 - New function SCIPcreateConsBounddisjunctionRedundant() and SCIPcreateConsBasicBounddisjunctionRedundant() that allow
1547 this enables warnings about mismatches between format string and variadic function arguments if using GCC.
1560 - Make find_package more verbose and require packages to be found. Now enabled packages that are not found result in an error.
1565 - Fixed numerical bug by creating and checking the empty solution when problem vanishes in presolving.
1573 - Safeguard some API methods for querying solving statistics against segmentation faults after SCIPpresolve()
1575 - Make sure that logicor constraints are enforced/separated if genlogicor is true in cons_indicator.
1581 - Avoid allowing the upgrade of linear constraints corresponding to indicators in propagation of nodes.
1583 - Limit vbounds propagator to one sweep through all bounds per call in order to avoid an infinite loop.
1584 - Fixed mismatches between formatter strings and arguments in calls to SCIP message printing functions.
1589 - To avoid performance variablity during reoptimization, the active constraints are now stored in the same order as in the
1592 - The original order of variables is now only restored after presolve if `randomization/permutevars` is set to FALSE.
1601 - Indicator constraints now write the name of the linear constraint in CIP format. This avoids a complicated
1603 - The objective scale and offset are now taken into account when reading/writing problems in lp/mps/fzn/pip format.
1625 - new function SCIPcolGetVarProbindex() for accessing the probindex of a variable corresponding to a column
1660 - Fixed aggregation heuristic in sepa_aggregation.c to not use local rows when that is requested nor modifiable rows
1672 - Fixed bug in domain propagation for SOC constraints with negative coefficient for variable on right-hand-side.
1701 - Add SANITZERFLAGS (only OPT=dbg) to LDFLAGS also if SHARED=true (and rename SANITZERFLAGS to SANITIZERFLAGS)
1712 - Fixed problems for linking optimized code with debug library of SCIP (and vice versa) by moving debug-only members
1718 - Variables that are marked as relaxation-only are no longer checked against debug solutions if
1727 - Using the parameter "propagating/symmetry/recomputerestart" one can now decide to recompute symmetries after a
1728 restart or not. Previously one could just turn off symmetry computation after a restart. If orbital fixing
1729 has found a reduction before the restart occured, symmetries have to be updated to ensure correctness.
1730 To this end, the user can decide via "propagating/symmetry/disableofrestart" whether orbital fixing is disabled or
1733 - extended relaxators statistics in solve statistics about information on number of cutoffs, improved bounds, etc.
1735 - extends SMPS file reader for the stochastic information, the sto files, to read a lower bound for the discrete
1736 scenarios. The lower bound is used when creating the auxiliary variables for Benders' decomposition.
1738 - extended Benders framework to solve NLPs and generate optimality and feasibility cuts from their solution
1741 - extended Benders framework to create copies of Benders decompositions that can be used in a multithreading environment
1743 - additional functionality has been added to enable the transfer of Benders' decomposition cuts between different SCIP
1748 - Trust region, a new LNS heuristic, has been added to SCIP as both a standalone primal heuristic heur_trustregion.c
1749 and as a neighborhood inside of Adaptive Large Neighborhood Search (heur_alns.c). This heuristic is designed to improve the
1750 heuristic performance of the Benders' decomposition algorithm. It builds upon the successful trust region approaches
1753 - Modularity of symmetry handling has been increased. It is now possible to use orbitopes (i.e., polyhedral symmetry
1756 - cut strengthening enabled within the Benders' decomposition framework. This uses a mix of the Improved Magnanti-Wong
1758 "benders/<bendersname>/cutstrengthenenabled" to TRUE. The parameters "cutstrengthenmult", "noimprovelimit" and
1759 "corepointperturb" control the behavior of the cut strengthening method. Additionally, the parameter
1760 "cutstrengthenintpoint" allows the user to specify the solution that is used to initialize the core point. The options
1761 are the first LP solution, the first integer feasible solution, a relative interior point, a solution vector of all
1762 ones and a solution vector of all zeros. Also, the core point can be reinitialized after each update to the incumbent
1765 - added option to adjust weights of different scores in relpscost (hybrid) branching rule based on degeneracy information
1768 - added new SCIP_DECOMP* object to store user decompositions. The user can specify one or several decompositions by assigning variable
1769 and/or constraint labels either through the API or by reading a file in DEC format (which is one of the formats that GCG writes).
1770 This format specifies constraint labels, variable labels are inferred from that. The decomposition is transformed after presolving.
1771 - statistics regarding the number of blocks, the largest and smallest blocks, the border, and the constraint graph are printed for the original decomposition,
1773 - the decomposition can be used as initial decomposition for the Benders functionality of SCIP.
1777 1. by selecting a block of variables that maximizes the potential, and randomly selecting a start variable for the neighborhood and/or
1778 2. by selecting an interval of consecutive blocks as neighborhood, until fixing rate is reached. In this case, no variable is randomly selected.
1782 - new primal heuristic Adaptive Diving, which registers all publicly available dive sets from other diving heuristics.
1783 At each call, it selects one of the available dive sets based on the user's score type choice (heuristics/adaptivediving/scoretype).
1784 During the solution process, the heuristics learns online which divesets reach the best score, and executes them more frequently.
1785 The statistic output for Diving heuristics has been extended to incorporate the statistics of each dive set within Adaptive diving.
1787 - Added new penalty alternating direction method (PADM) primal heuristic that splits the problem into several sub-SCIPs
1788 according to a user-provided decomposition. The sub-SCIPs are solved on an alternating basis until a feasible solution of
1791 - Symmetry handling constraints (cons_orbisack, cons_orbitope, cons_symresack) now have an additional parameter to encode
1792 whether they are model constraints, i.e., define the problem, or whether they are only present to handle symmetries.
1794 - The symmetry code has been completely restructured. The presolvers presol_symbreak and presol_symmetry as well as the propagator
1795 prop_orbitalfixing have been merged into the single propagator prop_symmetry to avoid storing the same information
1796 multiple times. This propagator is now responsible for adding symmetry handling constraints as well as activating orbital
1797 fixing. Moreover, the new file symmetry.c contains general functions for symmetry computations like orbit computations.
1799 - Variables can now be marked as "relaxation-only". This flag should be used to introduce new variables that are required
1800 to define a relaxation, but that are not part of any checked constraints. Essentially, these variables should only be used
1801 in the current SCIP solve and disregarded after a restart or in SCIP copies. Hence, these variables are not copied by SCIPcopy and
1802 SCIPgetVarCopy, they are currently not used in conflict constraints, and cuts involving them are not upgraded to linear constraints.
1807 - Expressions of form abs(x)^p * x in a nonlinear constraint are now sometimes recognized and handled by abspower constraints.
1809 - If polyhedral symmetry handling methods are used (cons_orbisack, cons_orbitope, cons_symresack), it is now possible to
1814 do not require bounds for variables that have a zero entry in the computed eigenvectors in the non-simple upgrade
1818 - It is no longer necessary to provide a SCIP pointer for the subproblem in SCIPaddBendersSubproblem if custom solving
1819 methods are defined. A NULL pointer can be supplied to SCIPaddBendersSubproblem. In this case, no internal Benders'
1822 - Using the parameter "constraints/symresack/checkmonotonicity" one can now decide to upgrade to packing/partitioning
1825 - New branching rule `vanillafullstrong`, mostly for scientific purpose, with the following features:
1827 2) idempotent (optional): leave SCIP, as much as possible, in the same state before / after the strong branching calls
1829 3) donotbranch (optional): do no perform branching. So that the brancher can be called as an oracle only
1832 5) collectscores (optional): store the candidate scores from the last call, which can then be retrieved by calling SCIPgetVanillafullstrongData();
1836 - If a reference value (misc/referencevalue) is given, the primal-reference and reference-dual integrals are calculated automatically and printed within the SCIP statistics.
1838 - Locally valid cuts / rows are now considered for dual proof analysis when `conflict/uselocalrows` is set to TRUE.
1840 - Linking variables in the linking constraint handler (cons_linking.{ch}) can now be integer or continuous. The coefficients of the binary variables are therefore now stored as SCIP_Real.
1842 - To save memory, it is now possible to remove all variables from the internal symmetry data structures that are
1845 - Allow to filter first variables from orbits and transfer pseudo cost information to variables in orbit
1847 - Add integration of external MILP presolve library as a SCIP presolver plugin that runs on MILP problems
1849 - Parallelisation can be used when applying Benders' decomposition. There are two different forms of parallelisation
1850 available. The first is applying Benders' decomposition within a parallel branch-and-bound. This is achieved through
1851 the integration with the UG framework. The second is the use of shared memory parallelisation for solving the Benders'
1854 - The Benders' decomposition framework can handle MINLPs. If a convex relaxation of the MINLP exists, then this is
1857 - Modification to benderscut_opt and benderscut_feas to enable the generation of cuts from convex NLPs.
1858 - Addition of benderscut_feasalt to generate feasibility cuts from an alternative subproblem that minimises the
1862 - Adds a feasibility phase to the Benders' decomposition subproblem solving methods. The feasibility phase adds slack
1863 variables to each of the constraints to ensure feasibility of the subproblem. A large coefficient is given to these
1864 slack variables in the objective function to penalise constraint violations. The coefficients are progressively
1867 - Improved convexity check for Benders' decomposition subproblems. The constraints of the subproblem are now checked for
1868 convexity in the initialisation of the Benders' decomposition algorithm. This enables the solving of convex NLPs as
1871 - Benders' decomposition can be applied using decomposition supplied in the DEC format. To apply Benders' decomposition
1874 - new event handler event_estim.c/h that approximates search tree completion and estimates tree size
1875 to trigger restarts; many approximations of search tree completion and estimation, including WBE, SSG, and tree profile method
1876 - new display column that reports approx. search tree completion during the search, and an overview in the statistics table
1877 - added resources (script, tutorial, test data) to adapt tree size estimation to user instances.
1879 - Orbital Fixing uses a list of variables that have been fixed globally since the computation of symmetries to filter
1882 - A new presolver "dualsparsify" was added. It tries to combine columns (i.e. variables) to cancel nonzero coefficients in the constraint matrix.
1886 - To be able to calculate better bounds for the dual variables, the presolver "dualinfer" was extended by the ability to perform convex combinations of continuous columns.
1897 - Improved branching point selection when branching on externals branching candidates. Instead of using exactly the
1900 - Matrix presolvers that do not work on incomplete matrices now skip matrix creation if unsupported constraint types are detected.
1902 - consLockBenders callback implemented to add down locks on the Benders' decomposition auxiliary variables and
1903 up and down locks per subproblem for all master problem variables. This allows the use of presolving and propagation
1919 - restrict the number of the clique table nonzeros relative to the number of problem nonzeros, which could be a performance bottleneck.
1921 - variable fixings of LP face heuristic are now computed earlier; subproblem creation is skipped if not enough variables are fixed.
1923 - Improved domcol presolver to not require a complete representation of all constraints in the matrix
1925 - performance improvement of adaptive large neighborhood search heuristic on merely continuous problems. The heuristic
1926 stops if presolving in the sub-SCIP fixes less than 50 % of the current target fixing rate over all variables
1929 - reduce memory usage in symmetry detection by a staggered allocation with decreasing overhead for larger instances
1931 - improved full orbitope propagation using a static implementation or a dynamic reordering of orbitope rows by a global rank function
1935 - enable an in-tree restart if after a reasonable initialization, the estimated size of the remaining tree is large.
1948 - new optional callback `SCIP_DECL_DIVESETAVAILABLE` to check preconditions for this dive set, e.g., if an incumbent solution is available,
1949 which is passed as new argument to SCIPcreateDiveset(). SCIPcreateDiveset() has another new parameter "ispublic".
1951 - new callback `SCIP_DECL_CONSHDLRCOPY` and `SCIP_DECL_CONSCOPY` in cons_orbisack and cons_symresack
1954 so that statistics are not updated during the call. Likewise, new `updatecol` and `updatestat` arguments to SCIPcolGetStrongbranch().
1956 - callback `SCIP_DECL_CONSHDLRENFOLP` can now also return SCIP_SOLVELP as *result, which indicates to the SCIP core that the LP relaxation
1957 should be solved again because the primal feasibility tolerance of the LP has been tightened (using SCIPsetLPFeastol())
1959 - extension of SCIP_PQUEUE by a new callback SCIP_DECL_PQUEUEELEMCHGPOS to catch swaps as well as functionality to delete arbitrary elements from the priority queue.
1974 transposed permutations matrix as well as the (independent symmetry) components of a permutation group now.
1975 + arguments of functions SCIPcreateConsOrbisack(), SCIPcreateConsBasicOrbisack(), SCIPcreateConsOrbitope(),
1976 SCIPcreateConsBasicOrbitope(), SCIPcreateConsSymresack(), SCIPcreateConsBasicSymresack(), and SCIPcreateSymbreakCons() extended
1978 + the function SCIPgetSymmetry() no longer accepts the parameter recompute, but has parameter permvarmap as new input
1979 + removed SCIPgetPermvarsObjSymmetry(), SCIPsetSymmetryComponentblocked(), SCIPgetSymmetryComponentblocked(),
1980 SCIPgetSyminfoGloballyFixedVars(), SCIPcomputeGroupOrbitsSymbreak, SCIPincludePresolSymmetry(),SCIPincludePresolSymbreak(),
1982 + add function SCIPcomputeOrbitsComponentsSym() to compute orbits without filtering permutations and indices of orbits for each variable
1983 - SCIPallowObjProp() and SCIPallowDualReds() are deprecated and replaced by SCIPallowWeakDualReds() and SCIPallowStrongDualReds(), respectively
1985 + changed SCIPstoreBenderscutCut() in scip_benders.c to SCIPstoreBendersCut(). Where this function used to take a
1987 + the functions SCIPsolveBendersSubproblem() no longer accepts the parameter type. The type is not a necessary
1989 + arguments of functions SCIPbendersSolveSubproblemLP(), SCIPbendersSolveSubproblemCIP(), and SCIPbendersOnlyCheckConvexRelax() changed
1995 - new argument "onlyifcomplete" in SCIPmatrixCreate() to skip matrix creation right after detecting unsupported constraint types
1996 and new arguments to count statistics when doing a clean-up of inactive variables in the constraints before building the matrix
1998 - new argument "threadsafe" in SCIPcopy(), SCIPcopyConsCompression(), SCIPcopyOrig(), SCIPcopyOrigConsCompression and
1999 SCIPcopyBenders(). This argument must only be set to TRUE if the source and target SCIP instances are to be solved in
2003 - functions SCIPclearRelaxSolVals(), SCIPsetRelaxSolVal(), SCIPsetRelaxSolVals(), SCIPsetRelaxSolValsSol(), and SCIPmarkRelaxSolValid()
2004 receive an additional argument "relax" to store the relaxation handler as creator of the relaxation solution.
2007 - SCIProwGetOriginCons() now returns a SCIP_CONS* instead of a SCIP_CONSHDLR*, use SCIProwGetOriginConshdlr() for the previous behavior
2008 - SCIPcreateRowCons() and SCIPcreateEmptyRowCons() now expect a SCIP_CONS* instead of a SCIP_CONSHDLR*,
2009 use SCIPcreateRowConshdlr() and SCIPcreateEmptyRowConshdlr(), respectively, for the previous behavior
2010 - deprecated SCIPlpfeastol() and SCIPchgLpfeastol(), use SCIPgetLPFeastol() and SCIPsetLPFeastol()
2012 - new parameter "divecontext" for every method that queries statistics for a diveset. The context can be used to distinguish between the dive set
2014 - new parameters "divecontext" and "iterlim" to SCIPperformGenericDivingAlgorithm() to control in which context (single,adaptive) statistics are updated.
2016 - SCIPcopyVars, SCIPcopy, SCIPcopyConsCompression, and SCIPgetVarCopy do not copy variables that are marked as relaxation-only,
2017 thus it cannot be assumed anymore that each active variable from the master SCIP also has a counterpart in the copy.
2018 SCIPcopy, SCIPcopyConsCompression, and SCIPcopyConss can now return *valid=TRUE if some non-checked and non-enforced constraints were not copied, e.g.,
2019 because they involved relaxation-only variables. Thus, a copy is already regarded as valid if all checked or enforced constraints were copied successfully.
2022 - changed type of vals argument from int* to SCIP_Real* in SCIPcreateConsLinking() and SCIPcreateConsBasicLinking()
2027 - SCIPbendersCheckSubproblemOptimality() now returns a boolean indicating whether the subproblem is optimal or not.
2028 Previously this result was returned through a parameter. The change was required to facilitate the integration with
2031 - deleted SCIPcombineTwoInt(), SCIPcombineThreeInt(), SCIPcombineFourInt(); use the appropriate SCIPhashTwo(), ..., SCIPhashSeven() method instead
2035 - SCIPcreateNlpiProb takes a hashmap to store the map between the nlrows and the index in the nlrow array.
2039 - SCIPallowWeakDualReds() and SCIPallowStrongDualReds() replace the deprecated SCIPallowObjProp() and SCIPallowDualReds(), respectively
2040 - methods have been added to facilitate the transfer of Benders' decomposition cuts between solvers in UG. These include
2044 - new functions SCIPsolGetType(), SCIPsolGetRelax(), SCIPsolSetRelax(), SCIPsolSetLPRelaxation(), SCIPsolSetStrongbranch(),
2045 SCIPsolSetPseudo to set or query the new type attribute of a primal solution. The type attribute gives information
2047 by the LP relaxation, by strong branching, by the current pseudo solution, or by a primal heuristic.
2048 The meaning of the argument 'heur' in all creation methods for primal solutions such as SCIPcreateSol() stays unchanged.
2050 - new API functions SCIPsetCommonSubscipParams(), SCIPtranslateSubSol(), and SCIPtranslateSubSols() shared by several Large Neighborhood Search heuristics.
2051 - new API function SCIPgetLPDualDegeneracy() to get two measures for the dual degeneracy of the current LP
2052 - new API functions SCIPdivesetIsAvailable() to check preconditions of a dive set and SCIPdivesetIsPublic() to check if the dive set can be used
2054 - new API functions SCIPcomputeOrbitsSym(), SCIPcomputeOrbitsFilterSym(), SCIPgetPropertiesPerm(), SCIPdetermineBinvarAffectedSym(),
2055 SCIPdetermineNVarsAffectedSym(), SCIPcomputeComponentsSym(), and SCIPextendSubOrbitope(), SCIPgenerateOrbitopeVarsMatrix() for symmetry computations
2056 - new API functions SCIPvarIsRelaxationOnly() and SCIPvarMarkRelaxationOnly() to query and set, resp., whether a variable is marked as relaxation-only
2057 - new API functions SCIPconshdlrGetNUpdateConss() and SCIPconshdlrGetUpdateConss(), for expert users only
2059 - new API functions SCIPeventGetOldtype() and SCIPeventGetNewtype() for the new event when changing the variable type
2060 - new API function SCIPisConvexConsQuadratic() to check whether a quadratic constraint is convex when a given set of variables would be fixed
2061 - new API functions SCIPgetLPFeastol(), SCIPsetLPFeastol(), and SCIPresetLPFeastol() to get, set, and reset (to the default), respectively, the primal
2063 - new API functions SCIPcleanupConss{Linear,Varbound,Setppc,Logicor,Knapsack}() to clean up inactive variables from those types of linear constraints
2064 - new API function SCIPsetBendersSubproblemComp() used to add a custom comparison method for ordering the Benders'
2068 - added SCIPhashThree(), SCIPhashFive(), SCIPhashSix(), and SCIPhashSeven() that complement SCIPhashTwo(), SCIPhashFour() to combine 32bit integers to
2070 - new API function SCIPgenerateAndApplyBendersOptCut is used to generate a Benders' optimality cut using the dual
2071 solutions. This function can be supplied vectors for the primal and dual solution for generating an optimality cut.
2072 This avoids the need for a SCIP instance to solve the Benders' decomposition subproblem and generating cuts.
2074 - new API functions SCIPconsNonlinearGetRhs, SCIPconsNonlinearGetLhs and SCIPconsNonlinearAddLinearCoef for getting the
2075 RHS and LHS from a nonlinear-type constraint and adding a linear coefficient to the constraint.
2076 - new API function SCIPbendersSolSlackVarsActive for checking whether any slack variables from the feasibility phase are
2078 - new API functions SCIPbendersSetSubproblemType and SCIPbendersGetSubproblemType sets and gets the subproblem type.
2084 - new API functions SCIPbendersSetSubproblemIsNonlinear() and SCIPbendersSubproblemIsNonlinear() for setting and
2085 identifying whether the Benders' decomposition subproblems contain nonlinear constraints. Similarly, the functions
2086 SCIPbendersSetMasterIsNonlinear() and SCIPbendersMasterIsNonlinear() sets and identifies whether the Benders'
2088 - new API function SCIPapplyBendersDecomposition for applying Benders' decomposition given a decomposition in the DEC
2090 - new API function SCIPwasNodeLastBranchParent to query if a node has been the parent of the most recent branching in the tree
2091 - new API functions SCIPtreemodelInit(), SCIPtreemodelFree(), SCIPtreemodelIsEnabled(), SCIPtreemodelSelectCandidate() related to the new
2092 treemodel way of comparing branching candidates. These functions are only currently used for reliability pscost branching, but they can be used
2095 - new API functions SCIPisOrbitalfixingEnabled() and SCIPgetSymmetryNGenerators() to check whether orbital fixing is
2101 - new event type SCIP_EVENTTYPE_NODEDELETE to react on nodes that are about to be deleted from the tree
2105 - renamed parameter "propagating/orbitalfixing/enableafterrestart" to ".../symmetry/recomputerestart"
2108 - changed default values of propagation (new value: 1, old value: 5) and separation frequency (new value: -1, old value: 5) in cons_orbitope.c
2109 - all primal heuristics that use sub-SCIPs are disabled within the heuristics fast emphasis setting
2111 - changed default value of "presolving/symbreak/detectorbitopes" (new value: TRUE, old value: FALSE)
2129 - changed default value of "heuristics/conflictdiving/lockweight" (old: 1.0, new: 0.75)
2130 - replaced parameter "numerics/lpfeastol" by "numerics/lpfeastolfactor" to specify which factor should be applied to the SCIP feasibility
2142 - the possibility to define the Benders' decomposition auxiliary variables as implicit integer is provided. This
2144 - added parameter benders/<bendersname>/cutcheck to enable the generation of Benders' decomposition cuts during solution
2146 - constraints/orbitope/usedynamicprop: the possibility to propagate orbitope constraints by reordering the rows based on the
2149 - new parameters heuristics/shiftandpropagate/minfixingratelp and heuristics/locks/minfixingratelp to stop the
2150 heuristics after propagating integer fixings if no sufficient fixing of the all variables (including continuous)
2151 could be achieved. These parameters help to avoid solving LP's that are comparable in hardness to the main root LP.
2153 - Added parameters branching/midpull and branching/midpullreldomtrig to control by how much to move
2154 the branching point for an external branching candidate closer to the middle of the candidates domain. The
2155 default of 0.75 and 0.5, respectively, uses a point that is 75*alpha% closer to the middle of the domain, where
2156 alpha is the relative width of the candidates domain (width of local domain divided by width of global domain),
2157 if the latter is below 0.5, and alpha=1.0 otherwise. That is, with the default settings, a branching point is
2158 chosen closer to the middle of the candidates domain if the variables local domain is still similar to its
2159 global domain, but is chosen closer to the LP solution if the local domain is much smaller than the global
2162 - Added parameter lp/minmarkowitz to set the Markowitz stability threshold (range 0.0001 to 0.9999).
2165 - Added parameters benders/<bendersname>/lnsmaxcalls and benders/<bendersname>/lnsmaxcallsroot to the Benders'
2166 decomposition core. These parameters limit the number of Benders' decomposition subproblem checks, for the full
2167 branch-and-bound tree and root node respective, when solving the auxiliary problem of LNS hueristics. These
2170 - Added parameter cons/linear/maxmultaggrquot to limit the maximum coefficient dynamism of an equation on which
2173 - new global parameter heuristics/useuctsubscip that affects all LNS heuristics using common sub-SCIP parameters
2175 - new parameter branching/relpscost/degeneracyaware to switch degeneracy-aware hybrid branching
2177 - new parameter separation/rapidlearning/checkexec to check whether rapid learning is allowed to run locally
2178 - new parameters separation/rapidlearning/check{degeneracy,dualbound,leaves,nsols,obj} to enable checking the respective feature for local rapid learning
2179 - new parameter separation/rapidlearning/maxcalls to limit the number of rapid learning executions
2180 - new parameter separation/rapidlearning/nwaitingnodes to set the number of waiting nodes before the dual bound is checked
2181 - new parameter separation/rapidlearning/mindegeneracy to set the minimal threshold of degenerate basic-variables
2182 - new parameters separation/rapidlearning/minvarconsratio to set the minimal ratio of unfixed variables in relation to basis size
2185 - constraints/benderslp/depthfreq: after the maxdepth is reached, then the two-phase method will only be called at
2187 - constraints/benderslp/stalllimit: after the maxdepth is reached, if there has been no improvement in the dual bound
2188 for stalllimit number of nodes, then the two-phase method is executed for the next fractional LP solution that is
2190 - constraints/benderslp/iterlimit: after the root node, only iterlimit fractional LP solutions are used at each node
2210 - new parameter for enabling shared memory parallelisation for solving Benders' decomposition subproblems. The parameter
2211 benders/<bendersname>/numthreads sets the number of threads used for parallel subproblem solving.
2214 - benders/<bendersname>/execfeasphase: enables the feasibility phase for solving the Benders' decomposition
2216 - benders/<bendersname>/slackvarcoef: the initial coefficient of the slack variable for the feasibility phase
2217 - benders/<bendersname>/checkconsconvexity: should the constraints be checked for convexity. This can be set to FALSE
2220 - new parameter presolving/clqtablefac (default value 2.0) as limit on number of entries in clique table relative to number of problem nonzeros
2222 - new parameter conflict/uselocalrows (default: TRUE) to incorporate locally valid cuts / rows for dual proof analysis
2224 - new return code SCIP_NOTIMPLEMENTED for functions, e.g., in the LPI that have not been implemented (yet)
2226 - new parameter separating/cgmip/genprimalsols that allows to generate initial primal solutions from Gomory cuts
2230 - new parameter branching/relpscost/transsympscost to transfer pseudo cost information to orbit
2253 - new emphasis setting emphasis/numerics to increase numerical stability of (mostly) presolving operations such as (multi-)aggregations at the cost of performance.
2256 - new parameter branching/treemodel/enable to enable the treemodel in reliability pscost branching and possible
2258 - new parameter branching/treemodel/highrule to specify which branching rule to use when treemodel thinks the node
2260 - new parameter branching/treemodel/lowrule to specify which branching rule to use when treemodel thinks the node
2262 - new parameter branching/treemodel/height to specify at which (estimated) height a node is high or low in the tree.
2263 - new parameter branching/treemodel/filterhigh to specify whether to filter dominated candidates in nodes which are
2265 - new parameter branching/treemodel/filterlow to specify whether to filter dominated candidates in nodes which are
2267 - new parameter branching/treemodel/maxfpiter to specify the maximum number of fixed-point iterations to use when
2269 - new parameter branching/treemodel/maxsvtsheight to specify the maximum height to compute the SVTS score exactly
2271 - new parameter branching/treemodel/fallbackinf defines the fallback strategy to use when the tree size estimates
2273 - new parameter branching/treemodel/fallbacknoprim defines the fallback strategy to use when no primal bound is known
2275 - new parameter branching/treemodel/smallpscost defines the value under which pscosts are considered too small to be
2278 - new parameters for symmetry handling constraint handlers to enforce that also non-model constraint are copied:
2288 - extended SCIPpqueueCreate() by additional callback argument SCIP_DECL_PQUEUEELEMCHGPOS to catch position changes
2289 - new methods SCIPpqueueDelPos() to delete elements at a specific position in the priority queue and SCIPpqueueFind() to
2290 find a specific position. It is recommended to track position changes using the new callback SCIP_DECL_PQUEUEELEMCHGPOS.
2291 In contrast, using SCIPpqueueFind() can be slow because it needs to compare the element it searches for
2296 - The default value for DFLAGS in the non-cmake buildsystem has changed from -MM to -MMD. This will break the
2297 generation of depend.* files if that was done by a compiler call that relied on -MM. The new preferred way
2298 to handle compilation dependencies is to additionally use $(DFLAGS) when compiling the object files (.o) and
2299 to include the generated .d files in the Makefile, see also "Build system / Makefile" below.
2319 - Removed static object compilation dependency files (depend.*). If using a GCC compatible compiler, then dependency
2320 files are now dynamically created and updated during build. The new dependency files (*.d) reside next to each object
2323 - unify compiler switches for Intel compiler and avoid problem with doubly defined object together with CPLEX
2330 - fix wrongly skipping strong branching call and using old information if LP was solved with 0 iterations
2333 - small fix in cons_varbound.c to skip changing bounds of multi-aggregated variables in separation callback
2335 - fixed rejecting minimal boundchange that changed sign of variable, even though SCIPisLb/UbBetter approved it
2336 - fixed issue in generateCutNonConvex() which is triggered when adding quadratic constraints during the solving process
2339 - fixed bug when freeing the transformed problem via interactive shell if reoptimization is enabled
2345 - tighten sides of linear constraints before trying to upgrade them to more specialized constraints (knapsack, logic-or etc.) when calling SCIPupgradeConsLinear()
2348 - fixed an issue in heur_completesol which is triggered during bound widening of unbounded continuous variables
2357 - fixed update of watchedvars in logicor constraint handler in case of a restart during the tree
2361 - fixed numerical issue related to very large greatest common dividers in linear constraint handler
2367 - fix issue in printing solutions for variables that have been added by the dual sparsify presolver
2372 - fixed bug in cons_knapsack where weight of clique was not reset after an infeasibility was detected
2373 - fixed bug in presol_inttobinary which did not take into account that the aggregation could be rejected due to numerics
2374 - fixed bug in debug solution mechanism in connection to variables created by presol_inttobinary
2375 - fixed wrong indexing while undoing the implications from a redundant variable in SCIPshrinkDisjunctiveVarSet
2376 - redundancy checks in SCIPnodeAddBoundinfer now take a possible change to an active variable into account
2382 - fixed a case when activities of a linear constraint got unreliable but where still used for reductions
2396 - modified display column for memory usage ("mem"), which reports the memory usage most of the time, but shows the creator name
2397 (heuristic, relaxation handler, LP relaxation, strong branching, pseudo solution) of every new incumbent solution. Together with this change,
2400 - added assert that ensures that the locks of a variable have been decreased to 0 when it is freed
2402 - checks in debug mode that clean buffer memory is really clean when being freed are now disabled by default
2404 - prefer integral values when fixing an almost-fixed continuous variable in the trivial presolver
2405 - changed the name of the variable that is added by the OSiL reader to represent the quadratic or nonlinear parts of the objective function
2406 - SCIP_EXPORT is now defined as __attribute__((__visibility__("default"))) if GCC and no SCIP config header is used
2445 - fixed SCIP-Jack presolving bug that could lead to wrong results for Steiner arborescence problems
2446 - fixed wrong unboundedness result in case not all constraints were already in the LP and enforcement was
2451 - aggregate non-artificial integer variable for XOR constraints with two binary variables and delete constraint
2458 - fixed bugs that arise for multiaggregated indicator variables by disallowing multiaggregation for them
2464 - fixed different behavior of SCIPisLbBetter and SCIPisUbBetter between having NDEBUG defined or not
2477 - fixed behavior of SCIPfixVar() by setting infeasible pointer to TRUE if fixval lies outside variable domain
2481 - fixed bug where the convexity of Benders' decomposition subproblems was checked even when users defined subproblem
2482 solving methods. Now, as per the documentation, the user must explicitly state whether the subproblem is convex
2491 - message is now provided to the user to inform that automatic Benders' auxiliary variable lower bound computations are
2506 - try greedy solution first before solving knapsack exactly using dynamic programming in SCIPsolveKnapsackExactly,
2529 - SCIPhashmapInsertInt(), SCIPhashmapSetImageInt(), and SCIPhashmapGetImageInt() to use integer values as images in hashmaps
2533 - warn about coefficients in MPS files with absolute value larger than SCIP's value for infinity
2557 - fixed handling of unbounded LPs in SCIP and in several LPIs; added heuristic method to guess solution
2561 - fixed recognition of variable with only one lock in cons_bivariate, cons_quadratic, and cons_nonlinear
2562 - fixed update of constraint violations in solution repair in cons_bivariate, cons_quadratic, and cons_nonlinear
2563 - print error message and terminate if matrix entries of a column are not consecutive in mps format
2564 - fixed incorrect handling of fixed variables when transfer of cuts from LNS heuristic for Benders' decomposition
2565 - fix returning local infeasible status by Ipopt interface if Ipopt finds problem locally infeasible
2566 - skip attempt to apply fixings in linear constraint handler during solving stage as LP rows cannot change anymore
2568 - fix issue with nodes without domain changes if we ran into solution limit in prop_orbitalfixing
2569 - fixed unresolved reference to CppAD's microsoft_timer() function on builds with MS/Intel compilers on Windows
2570 - ignore implications added through SCIPaddVarImplication() that are redundant to global bounds also in the
2571 special case of an implication between two binary variables; also, use implications instead of cliques in the case
2576 - fixed the upgrade routine to XOR constraints: aggregate integer variable if its coefficient has the wrong sign
2582 - fixed possible integer overflow, which led to wrong conclusion of infeasibility, in energetic reasoning of cons_cumulative.c
2594 - new diving heuristic farkasdiving that dives into the direction of the pseudosolution and tries to construct Farkas-proofs
2596 - restructuring of timing of symmetry computation that allows to add symmetry handling components within presolving
2598 - new branching rule lookahead that evaluates potential child and grandchild nodes to determine a branching decision
2599 - limits on the number of presolving rounds a presolver (maxrounds) or propagator/constraint handler (maxprerounds)
2600 participates in are now compared to the number of calls of the particular presolving method, not the number of
2602 - new miscellaneous methods for constraints that have a one-row linear representation in pub_misc_linear.h
2603 - a Benders' decomposition framework has been added. This framework provides the functionality for a user to solve a
2604 decomposed problem using Benders' decomposition. The framework includes classical optimality and feasibility cuts,
2618 - constraint handler checking order for original solutions has been modified to check those with negative check priority
2619 that don't need constraints after all other constraint handlers and constraints have been checked
2625 - new example `brachistochrone` in CallableLibrary examples collection; this example implements a discretized model to
2626 obtain the trajectory associated with the shortest time to go from point A to B for a particle under gravity only
2627 - new example `circlepacking` in CallableLibrary examples collection; this example models two problems about packing
2630 - new stochastic capacitated facility location example demonstrating the use of the Benders' decomposition framework
2637 - added parameter locktype to `SCIP_DECL_CONSLOCK` callback to indicate the type of variable locks
2642 + removed function SCIPgetTimingSymmetry() in presol_symmetry.h since this presolver does not compute symmetries independent
2644 + additional argument `recompute` to SCIPgetGeneratorsSymmetry() to allow recomputation of symmetries
2648 + the seed of SCIPsetInitializeRandomSeed() is now an unsigned int and it returns an unsigned int
2649 + new parameter for SCIPcreateRandom() to specify whether the global random seed shift should be used in the creation of
2653 + additional arguments `preferrecent`, `decayfactor` and `avglim` to SCIPcreateBanditEpsgreedy() to choose between
2654 weights that are simple averages or higher weights for more recent observations (the previous default).
2656 + functions SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionPositive(), and
2657 SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar() now take an additional argument to specify already
2658 existing bounds on x, providing an entire interval ([-infinity,infinity]) gives previous behavior
2665 - SCIPconsIsLockedTypePos(), SCIPconsIsLockedTypeNeg(), SCIPconsIsLockedType(), SCIPconsGetNLocksTypePos() and SCIPconsGetNLocksTypeNeg()
2671 - `heuristics/alns/stallnodefactor` as the stall nodes are now controlled directly by the target node limit within the heuristic
2672 - `presolving/symmetry/computepresolved` since this presolver does not compute symmetries independent of other components anymore
2678 - `heuristics/alns/unfixtol` to specify tolerance to exceed the target fixing rate before unfixing variables, (default: 0.1)
2679 - `propagating/orbitalfixing/symcomptiming` to change the timining of symmetry computation for orbital fixing
2680 - `lp/alwaysgetduals` ensure that the dual solutions are always computed from the recent LP solve
2681 - `display/relevantstats` indicates whether the small relevant statistics are displayed at the end of solving
2683 - `presolving/symbreak/addconsstiming` to change the timining of symmetry computation for symmetry handling inequalities
2684 - `propagating/orbitalfixing/enabledafterrestarts` to control whether orbital fixing is enabled after restarts
2685 - `benders/∗` new submenu for Benders' decomposition related settings. This includes the settings related to the
2687 - `benders/<decompname>/benderscuts/∗` submenu within each included Benders' decomposition to control the Benders'
2688 decomposition cuts. The cuts are added to each decomposition separately, so the setting are unique to each
2693 - new enum `SCIP_LOCKTYPE` to distinguish between variable locks implied by model (check) constraints (`SCIP_LOCKYPE_MODEL`)
2701 - separated scip.c into several smaller implementation files scip_*.c for better code overview; scip.c was removed,
2719 - ensured that SCIPgetDualbound() returns global dual bound instead of the dual bound of the remaining search tree
2723 - fixed handling of implicit integer variables when attempting to solve sub-MIP in nlpdiving heuristic
2724 - added workaround for bug when solving certain bivariate quadratic interval equations with unbounded second variable
2726 - fixed problem when writing MPS file with indicator constraints with corresponding empty linear constraints
2744 - SCIP executable handles the `SIGTERM` signal. If the process receives a `SIGTERM`, SCIP terminates the solution process with a
2745 new `SCIP_STATUS` code `SCIP_STATUS_TERMINATE` and displays all relevant statistics before exiting.
2753 - disable disaggregation of quadratic constraints by changing the default for `constraints/quadratic/maxdisaggrsize` to 1
2757 - increased threshold when to scale up cuts that are generated by nonlinear constraint handlers
2767 - new methods SCIPtryTerminate() and SCIPterminated() in scip/interrupt.h for handling of SIGTERM signals.
2772 - rename parameter `constraints/orbisack/orbisack/coverseparation` to `constraints/orbisack/coverseparation`
2777 - `presolving/symmetry/displaynorbitvars` (whether we display the number of affected variables in the statistics)
2779 - `separating/dircutoffdistfac` to change the weight of the directed cutoff distance in cut score calculation
2783 - new `SCIP_STATUS` code `SCIP_STATUS_TERMINATE` in scip/interrupt.h for handling of SIGTERM signals.
2795 - copy parameter settings to sub-SCIPs in SCIPcopyLargeNeighborhoodSearch() also when copying only LP rows
2803 - don't delete conflict constraints that were transformed into model constraints during a restart
2804 - fixed treatment of variable aggregations in knapsack constraint handler that led to wrong propagations
2809 - retrieve interior solution instead of (possibly non-existing) basic solution from mosek after using barrier without crossover in lpi_msk
2831 - add new heuristic MPEC that solves a MPEC reformulation of a mixed-binary nonlinear problem by regularized NLP reformulations
2838 - added presol_symbreak.c to detect special symmetry structures and to add symmetry handling constraints
2839 - SCIP can now automatically detect and compute symmetries in MIPs (if a graph automorphism code is linked in)
2840 - added cons_symresack.c to handle permutation symmetries in a binary programs via inequalities and propagation
2841 - added cons_orbisack.c to handle special permutation symmetries in a binary programs via inequalities and propagation
2846 - utilizing linear inequalities to compute stronger linearizations for bilinear terms; the inequalities are computed in
2850 - added API for aggregating rows for generating cuts which uses double-double arithmetic internally
2855 + new presolving plugin presol_sparsify that tries to cancel nonzero coefficients in linear constraints by adding
2861 - use disjoint set to reduce peak memory usage and time to compute of clique table connectedness information
2865 - removed bestrelaxsol and directly access relaxation solution instead to decrease overhead when using relaxation handlers
2867 - use limit on the total number of nonzeros added to the clique table during the greedyCliqueAlgorithm of cons_knapsack.c
2868 - revised disaggregation of quadratic constraints: the number of created constraints can now be controlled and the
2870 - disabled reformulation of products of a binary variable with a linear term that does not solely involve binary variables
2885 - use LP solution polishing during probing and diving mode to activate it during many primal heuristics; remains disabled
2887 - improved versions of the clique and variable bound pre-root heuristics that are often able to fix many more variables
2902 - added parameter `objval` to `SCIP_DECL_NLPIGETSOLUTION` for returning the optimal objective value (can be set to `NULL`)
2905 - added parameter `allowlocal` to `SCIP_DECL_SEPAEXECLP` and `SCIP_DECL_SEPAEXECSOL` to switch generation of locally valid cuts
2911 - removed parameter `allowaddcons` from SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), and
2915 - generalized SCIPcreateConsOrbitope() and SCIPcreateConsBasicOrbitope() method to three orbitope types (full, partitioning, packing)
2925 - replaced LP parameters `SCIP_LPPARAM_LOBJLIM` and `SCIP_LPPARAM_UOBJLIM` by `SCIP_LPPARAM_OBJLIM`
2928 - SCIPnlpStatisticsCreate() and SCIPnlpStatisticsFree() now require a pointer to blockmemory as parameter
2929 - added parameter `objval` to SCIPnlpiGetSolution() of NLPIs for returning the optimal objective value (can be set to `NULL`)
2935 - SCIPheurPassIndicator() has a new parameter which allows to pass the objective of the solution
2938 - added parameter `includeslp` to SCIPmarkRelaxSolValid(), SCIPsetRelaxSolVals() and SCIPsetRelaxSolValsSol();
2941 - replaced method SCIPgetRelaxFeastolFactor() by SCIPrelaxfeastol() and added SCIPchgRelaxfeastol()
2946 - removed SCIPvarGetCliqueComponentIdx(); the connectedness information of the clique table is now stored as a
2955 - methods to display linear constraint classification types; use SCIPclassifyConstraintTypesLinear()
2958 perform breadth-first search on the variable constraint graph used by the GINS and ALNS heuristics
2960 - SCIPbranchcandGetLPMaxPrio() and SCIPbranchcandGetExternMaxPrio() to query the maximal branching priority of given
2961 branching candidates; also added SCIPbranchcandGetNPrioLPCands() to access the number of LP candidates with this priority.
2962 - SCIPupdateSolIntegralityViolation(), SCIPupdateSolBoundViolation(), SCIPupdateSolLPRowViolation(),
2963 SCIPupdateSolConsViolation() and SCIPupdateSolLPConsViolation() for updating numerical solution violations, as well as
2964 SCIPactivateSolViolationUpdates() and SCIPdeactivateSolViolationUpdates() for activating/deactivating violation updates globally
2967 - SCIPnextafter() that wraps different nextafter methods to return the next representable value after a given value
2968 - SCIPlinConsStats{Create,Free,GetTypeCount,GetSum}() and SCIPprintLinConsStats() to work with linear constraint classification through the C API
2973 - methods SCIPrandomCreate() and SCIPrandomFree() are no longer public and should be replaced by SCIPcreateRandom() and
2974 SCIPfreeRandom(), respectively (the new methods respect the global parameter `randomization/randomseedshift` automatically)
2975 - methods SCIPdigraphCreate() and SCIPdigraphCopy() are no longer public and should be replaced by SCIPcreateDigraph() and
2976 SCIPcopyDigraph(), respectively, which receive a SCIP argument and are more robust towards future interface changes
2979 - SCIPgetAllBilinearTermsQuadratic() to access data of all existing bilinear terms in quadratic constraints
2980 - SCIPaddBilinearIneqQuadratic() to propose an inequality with two variables that appear in a bilinear term
2981 - SCIPcomputeBilinEnvelope{1,2}() to compute a linearization of a bilinear term when considering at most two linear inequalities
3006 - added interface to graph automorphism algorithms in `src/symmetry/` (initially only to BLISS)
3007 - unify handling of objective limit in LPIs by replacing LPI parameters `SCIP_LPPAR_LOBJLIM` and `SCIP_LPPAR_UOBJLIM` by
3014 - replaced `constraints/quadratic/disaggregate` by `constraints/quadratic/maxdisaggrsize` to bound
3016 - new value 3 for parameter `lp/solutionpolishing` to enable LP polishing only during probing and diving mode
3017 - parameter `conflict/useboundlp` has new values `d` (only dual solution analysis) and `b` (both, conflict and dual solution analysis)
3020 - fixed typo `heuristics/completesol/maxunkownrate` has changed to `heuristics/completesol/maxunknownrate`
3021 - replaced parameter `heuristics/{clique,vbounds}/minfixingrate` by `heuristics/{clique,vbounds}/minintfixingrate` and
3022 `heuristics/{clique,vbounds}/minmipfixingrate`, which check the fixing rate before LP solving and after sub-MIP presolve
3025 - parameter `separating/maxstallrounds` only applies to nodes in the tree (not the root node, anymore); use the new
3046 - `constraints/indicator/maxsepanonviolated` to stop separation after separation of non violated cuts
3047 - `constraints/orbisack/coverseparation` (whether orbisack cover inequalities should be separated)
3048 - `constraints/orbisack/orbiSeparation` (whether facet defining inequalities for orbisack should be separated)
3049 - `constraints/orbisack/coeffbound` (maximal value of coefficients in orbisack facet inequalities)
3050 - `constraints/orbisack/checkpporbisack` (check whether orbisacks can be strengthened by packing/partitioning constraints)
3056 - `constraints/quadratic/disaggrmergemethod` to change the strategy of how to merge independent blocks of quadratic constraints
3057 - `constraints/quadratic/mincurvcollectbilinterms` to change the minimal curvature of constraints
3059 - `constraints/quadratic/binreformbinaryonly` to disable reformulation of products of binary and non-binary variables
3060 - `constraints/symresack/ppsymresack` (check whether symresacks can be strengthend by packing/partitining constraints)
3062 - `expbackoff` to all separators which increases the frequency exponentially over the depth in the tree
3064 - `heuristics/{clique,vbounds}/maxbacktracks` to limit the number of backtracks in the fix-and-propagate phase
3065 - `heuristics/{clique,vbounds}/uselockfixings` to enable fixing of additional variables based on variable locks
3066 - `heuristics/vbounds/{feasvariant,tightenvariant}` to specify the fixing variants used by the vbounds heuristic
3070 - `presolving/symbreak/conssaddlp` (whether symmetry handling inequalities should be added to the LP)
3073 - `presolving/symbreak/detectorbitopes` (whether it should be checked if some symmetries can be handled by orbitopes)
3075 - `presolving/symmetry/maxgenerators` (maximal number of generators generated by symmetry detection)
3076 - `presolving/symmetry/checksymmetries` (whether validity of computed symmetries should be verified)
3078 - `propagating/vbounds/minnewcliques` to specify the minimum number of new cliques to trigger another clique table analysis
3079 - `propagating/vbounds/{maxcliquesmedium,maxcliquesexhaustive}` to limit the number of cliques relative to the
3083 - if PaPILO >= 2.1: `presolving/milp/maxbadgesizepar` to limit the maximal badge size if PaPILO is called in parallel mode
3084 - if PaPILO >= 2.1: `presolving/milp/maxbadgesizeseq` to limit the maximal badge size if PaPILO is called in sequential mode
3088 - new type `SCIP_Shortbool` (equal to uint8_t) for storing Boolean values in a more compact manner
3089 - new disjoint set data structure `SCIP_DISJOINTSET` to incrementally update connectedness information for a graph on nodes {0,...,n-1}
3091 - new object `SCIP_LINCONSSTATS`, see type_cons.h, to work with linear constraint classification through the C API
3099 - added tests for the double double arithmetic, the new red black tree data structure, the nlpi, obbt, interval arithmetics,
3100 symmetry computation, objective function changes in probing, computing envelopes of bilinear function, relaxation enforcement
3106 - added interface to the NLP solver FilterSQP; set `FILTERSQP=true` in order to link to FilterSQP
3110 - added support for sanitizers in debug mode and options SANITIZE_ADDRESS, SANITIZE_MEMORY, SANITIZE_UNDEFINED, SANITIZE_THREAD
3111 - added option SYM to specify which graph automorphism package (bliss, none) should be used, if available
3112 - disable non-standard compliant floating point optimizations in combination with intel compilers
3132 - fix linear knapsack relaxation during separation if a binary variable does not have a solution value in [0,1].
3133 - fixed potential ressource leaks in SCIPsolveLinearProb(), expr.c, sepa_eccuts, cons_cumulative.c, cons_nonlinear.c
3148 - fixed bug in mps reader. Reader now prints `OBJSENSE` section and tries to generate unique names of constraints
3149 - fixed upgrade to a varbound constraint if abspower constraint contains a multi-aggregated variable
3154 - fixed releasing of variables in the genvbounds propagator in case the problem could be solved during presolving of a restart
3155 - fixed numerical issues in bound widening of variable bound constraint handler and vbound propagator during conflict analysis
3174 - sorting of parents and children for some expression types is now independent of memory layout
3178 - unified and extended code that improves numerics of cuts generated by nonlinear constraint handlers
3189 - SCIPvalidateSolve() to compare solving result with an external primal and dual reference value
3190 - SCIPisObjChangedProbing() to check whether the objective function has changed during probing mode
3192 - SCIPisLPPrimalReliable() and SCIPisLPDualReliable() to check whether the current primal / dual LP solution
3197 - New option in the interactive shell to validate the solution against an external primal and dual reference value
3208 - renamed parameter `heuristics/completesol/maxunkownrate` to `heuristics/completesol/maxunknownrate`
3224 - added make options for specifying EXECUTABLE and OUTPUTDIR variables for the make test target
3230 - fixed uninitialized values in SCIP's digraph data structure after calling SCIPdigraphResize()
3231 - fixed issue related to SCIPcreateFiniteSolCopy() not being able to remove all infinite fixings
3234 - added workaround for bug in primal simplex of cplex 12.7.1.0 occuring when attempting to solve LPs without rows without presolving
3235 - fixed bug in binpacking example that might have led to doing the same branching several times
3239 - treat reopt bugs: Avoid numerical problems with changing objective; fix check for changed objective
3240 - fixed reading issue in mps reader: integer variables fixed to 0 or 1 are treated as binaries now,
3242 - afternode heuristics are now called even if the node limit was reached and the solving process will be stopped
3252 - fixed bug in shift and propagate--variable information with a negation transformation is correctly reset after backtracking
3256 - fixed bug in varbound coefficient tightening: if a varbound constraint only contained one variable afterwards,
3257 it may have been deleted without applying the induced bound, if the change was too small, this is now forced
3258 - fixed potential wrong locks update after a varbound constraint became redundant in coefficient tightening
3263 - improved handling of infinite values in a primal solution in quadratic and nonlinear constraints
3264 - fixed bug in computing violation and cut for certain nonlinear constraints when LP solution is slightly out of bounds
3265 - fixed debug solution check that appeared in probing mode when the objective function has changed
3274 - Introduced support for partial or infeasible user solutions, which SCIP tries to complete/repair heuristically
3275 - implemented linear time methods for (weighted) median selection for joint arrays of various types
3276 - added adaptive solving behavior of SCIP based on solving phases and heuristic transitions, if enabled via `solvingphases/enabled`
3280 - added possibility to use a reference value for advanced analysis of the tree search. If a finite reference value
3281 (an objective value in original objective space) is passed via misc/referencevalue, SCIP keeps track of the
3282 number of nodes exceeding the reference value and the number of early backtracks -- path switches in the tree when
3285 - new global shift off all random seeds (randomization/randomseedshift) and unification of all existing random seeds
3286 - use new macros SCIPdebugMsg(), SCIPsetDebugMsg(), SCIPstatDebugMsg() at all places where it makes sense
3292 - will now enforce relaxation solution instead of lp or pseudosolution if lowerbound is better and the whole lp is included in the relaxation
3303 - Improved conflict analysis through central conflict pool and dual ray analysis for primal infeasible LPs; can now analyze dual
3307 - New presolvers that disaggregate SOC constraints and reformulate QP's by adding KKT conditions
3308 - new presolving step for variables contained in a single quadratic constraint with proper square coefficients
3312 - new components constraint handler which replaces the components presolver; it searches for independent subproblems
3313 and solves small ones as sub-SCIPs during presolve, larger ones are solved alternatingly during the main solving process
3314 - new presolving timing FINAL: presolving methods with this timing are only called once after all other presolvers with timings
3315 FAST, MEDIUM and EXHAUSTIVE are finished; during this timing only reductions are allowed that are self-contained, e.g.,
3316 fixing all variables and deleting all constraints of an independent component; note that reductions found in this timing
3321 - add sepa_convexproj, a separator which projects onto convex relaxation and build gradient cuts at the projection
3322 - add sepa_gauge, a separator which computes an interior point of a convex relaxation and performs a binary search in the segment joining
3323 the interior point and the point to separate until it finds a point in the boundary of the feasible region where to build a gradient cut
3324 - changed handling of coupling constraints in cons_indicator; the cuts will not be added to the pool, but are separated by default
3325 - concurrent solving mode that allows to run multiple SCIP instances, that share solutions and global variable bounds, in parallel
3331 In addition, the heuristic supports a rolling horizon-like procedure to solve auxiliary problems
3333 - new primal heuristic LP face that tries to find an integer solution inside the optimal LP face.
3335 - the subnlp heuristic now gives ownership of a found solution to the heuristic that constructed the starting point, if any;
3336 as a consequence, MIP heuristics may now be shown more frequently for having found a solution when solving MINLPs, even
3341 - add prop_nlobbt, a nonlinear optimization-based bound propagator solving two convex NLP relaxations for each variable
3342 - nodes can now be postponed; currently, this can only be triggered by BEFORELP propagation callbacks
3346 + new statistic computed: `Root LP Estimate` that shows the root LP best-estimate with every pseudo-cost update
3347 + added leaf statistics about LP objective limit|feasible|infeasible leaves to the statistics output and
3348 to the callable library: SCIPgetNObjlimLeaves(), SCIPgetNFeasibleLeaves(), SCIPgetNInfeasibleLeaves()
3349 + next to the number of found solution, also the number of new best solutions is now printed for each heuristic
3357 - use connectedness information of the clique table to speed up the clique partitioning algorithm
3358 - knapsack approximation algorithms use linear-time weighted median selection instead of sorting
3360 - reduce performance variability by using random numbers as tie-breaker for external branching candidates
3363 - adjusted most Large Neighborhood Search heuristics such that they collect their variable fixings first in an array,
3371 - SCIP supports constraint compression for problem copies; constraint compression denotes the immediate
3372 removal of fixed variables from constraint data at creation time to reduce memory requirements.
3375 - rewrote the propagate-and-cut-and-price loop so that successful propagations with DURINGLPLOOP timing, bound changes found by separation,
3376 and new primal solutions now trigger a new round of node solving, starting with propagation; improved tuning of propagation and heuristic timings
3378 - make more use of SCIPmarkConsPropagate() to mark constraints for propagation and improved the internal handling of marked constraints
3379 - improve propagation of absolute-value expression in the case that the sign of the argument is fixed
3391 - `CONSINITLP` callback now has a new parameter `infeasible`, which is a pointer to store whether infeasibility
3398 - the parameters of SCIPlpiChgObj(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSetNorms() have been declared as const
3404 - methods SCIPrandomPermuteArray() substitutes SCIPpermuteRandomArray() (marked to be deprecated)
3405 - methods SCIPrandomPermuteIntArray() substitutes SCIPpermuteRandomIntArray() (marked to be deprecated)
3421 - removed function SCIPcalcHashtableSize() since not required anymore for `SCIP_HASHTABLE` and `SCIP_HASHMAP`
3422 - based on the initial size `SCIP_HASHTABLE` and `SCIP_HASHMAP` choose an appropriate size internally to allow insertion of that
3424 - `SCIP_MULTIHASH` behaves like the old `SCIP_HASHTABLE` and SCIPcalcMultihashSize() should be used as replacement for
3431 - the following new methods return a bool indicating whether the given value is valid for the parameter instead of printing a warning
3438 - in param.c/h: the new methods return a bool whether the given value is valid for the parameter instead of printing a warning message
3448 - changed type of parameter `timingmask` from unsigned int to `SCIP_HEURTIMING` in SCIPincludeHeur(), SCIPincludeHeurBasic()
3458 - added parameter `completely` to SCIPtrySol(), SCIPtrySolFree(), SCIPcheckSol() to check all constraints when
3471 - SCIPcreateNlpiProb(), SCIPupdateNlpiProb() and SCIPaddNlpiProbRows() to create and update a nonlinear relaxation
3472 - SCIPgetNObjlimLeaves(), SCIPgetNFeasibleLeaves(), SCIPgetNInfeasibleLeaves() for statistics output
3474 - SCIPcheckCopyLimits() which can be used to check that enough time and memory is left to run a sub-SCIP after
3475 subtracting time and memory used by the main-SCIP and SCIPcopyLimits() which copies these limits accordingly and disables
3477 - SCIPcopyLargeNeighborhoodSearch() in heuristics.h that supports compressed copying and two kinds of problem copy: the MIP-relaxation or
3480 - SCIPgetLastStrongbranchingLPSolstat() to query the LP statuses after strong branching on a variable
3486 - SCIPprintDebugMessage(), SCIPsetPrintDebugMessage(), SCIPstatPrintDebugMessage() that output debug messages and also print the
3487 subscip depth; the first two output via the message handler; also added macros SCIPdebugMsg(), SCIPsetDebugMsg(), SCIPstatDebugMsg()
3488 - SCIPdebugMsgPrint()/SCIPsetDebugMsgPrint() that output a message without `[debug]` prefix via the message handler (compare SCIPdebugPrintf())
3495 - library methods SCIPcopyConsCompression(), SCIPcopyOrigConsCompression() that accept an array of variables that are immediately
3497 - library methods SCIPenableConsCompression(), SCIPisConsCompressionEnabled(), SCIPcopyConsCompression(), SCIPcopyOrigConsCompression()
3501 - SCIPchgCardvalCardinality() to changes cardinality value of cardinality constraint (i.e., right hand side of cardinality constraint)
3506 - SCIPgetCardvalCardinality() to get the cardinality value of a cardinality constraint (i.e., right hand side of cardinality constraint)
3508 - SCIPgetLinvarMay{Decrease,Increase}Quadratic() to get index of a variable in linear term of quadratic constraint that may be decreased
3521 - Interfaces for Python and Java are, among others, now available via http://www.github.com/scip-interfaces
3526 - for users of the ampl interface, the display/logfile option has been added to set the name of a
3536 - setting a value for a fixed parameter will no longer return with an error, if the new value equals the one to which the parameter is fixed
3537 - changed value of parameter `separating/clique/cliquedensity` to 0.0 such that the separator always constructs a dense clique table
3539 - parameters `misc/permutationseed`, `misc/permuteconss` and `misc/permutevars` changed to `randomization/permutationseed`,
3542 - all parameters of the components presolver (starting with `presolving/components/`) are now parameters of the components
3548 - `branching/sumadjustweight` to adjust branching scores by adding a sum epsilon in order to keep score differences
3549 near zero, which are otherwise completely disregarded (they are adjusted to at least sum epsilon)
3551 - `constraints/cardinality/branchbalanced` to decide whether to use a balanced branching scheme in the enforcing of cardinality
3553 - `constraints/cardinality/balanceddepth` to set the maximal depth until balanced branching is turned off
3554 - `constraints/cardinality/balancedcutoff` to determine that balanced branching is only used if the branching cut off value
3556 - `constraints/indicator/sepaperspective` to turn on separation of perspective cuts for indicator constraints
3557 - `constraints/indicator/sepapersplocal` to decide whether local cuts can be used for perspective cuts for indicator constraints
3558 - `constraints/quadratic/projectedcuts` to enable convex quadratics to generate gradients cuts at the
3561 - `misc/referencevalue` to pass a reference value for further analysis of the tree search, see also in `features`
3562 - `presolving/qpkktref/addkktbinary` to allow the presence of binary variables for the KKT update
3563 - `presolving/qpkktref/updatequadbounded` to add the KKT conditions to QPs only if all variables are bounded
3564 - `presolving/qpkktref/updatequadindef` to add the KKT conditions to QPs only if the quadratic matrix is indefinite
3566 - `solvingphases/enabled` to activate adaptive behavior during the solution process; several further parameters
3567 in the solvingphases-section to control how to switch the parameters and whether a restart should be performed between the phases.
3571 - new `SCIP_REGRESSION` data structure in pub_misc.h to incrementally compute a best-fit line through pairs of observations
3572 - add maximum branch-and-bound tree depth constant `SCIP_MAXTREEDEPTH` (replaces SCIPgetDepthLimit() and SCIPtreeGetDepthLimit())
3573 - new files heuristics.c/heuristics.h to collect methods that are frequently used by heuristics
3575 - separated header pub_misc.h from repeated methods for sorting and (weighted) median selection;
3596 - All objective files are now placed in `obj/static` or `obj/shared`, depending on `SHARED=false` or `SHARED=true`, respectively.
3597 - All internal and external libraries are placed in `lib/static` and `lib/shared`, the include files are in `lib/include`.
3598 - The binaries now contain an rpath to the SCIP directory, such that shared libraries are found.
3602 - External projects (including make.project) can use the makefile variable LINKCXXSCIPALL or LINKCCSCIPALL to link all SCIP libraries.
3603 - Building with `SHARED=true` automatically generates the combined library libscipsolver.so for easier linking
3614 - fixed bug in event system: bound change events of the new focus node must be processed, even if the bound
3619 - in the cmpres.awk (allcmpres.sh) output, the counts in the time column are now with respect to the
3620 whole set of processed instances (as with fail and solv), while before it was with respect to the
3622 - writing of solutions or parameters to a file now works also with the message handler set to quiet
3629 - fixed bug with sorting of propagators in presolving: the order can be changed by calling probing; thus, there is a copy of the
3636 - fixed a few issues within redundant constraint detection of (specialized) linear constraint handlers
3641 - improved counting of memory consumption by using more block memory and counting all allocated memory
3647 - fixed bug while changing the objective value of an original value after transforming the problem
3652 - fixed two bugs in heur_indicator: use improvesols parameter now and update pointer to indicator constraint handler
3654 - correct handling of implicit integer variables with fractional solution value in simplerounding heuristic
3665 - new `force` parameter in (root)redcost propagator to run the propagator also with active pricers
3671 - modified implication graph analysis of SOS1 constraint handler; a new component allows to deduce zero fixings of variables
3672 - made SOS1 constraint handler specific diving selection rule faster for the case that the SOS1 constraints do not overlap
3673 - improved disjunctive cuts by the `monoidal cut strengthening` procedure of Balas and Jeroslow
3678 - several improvements of SCIP-Jack (STP application): extended presolving for STP variants, STP-specific branching
3680 SCIP-Jack is now competitive with problem specific state-of-the-art solvers on several well-known STP variants,
3682 - MultiObjective application renamed to PolySCIP; several improvements: better command line argument processing,
3692 - add SCIPcomputeHyperplaneThreePoints() to compute a hyperplane containing three given 3-dimensional points
3697 - added interactive shell command `display finitesolution` to print solution with infinite fixings removed,
3699 - new interactive shell command `write history` to write the command line history (only when compiled with Readline)
3703 - significantly improved Python interface to support user callbacks as well as linear and quadratic expressions
3707 - `constraints/sos1/branchingrule` to decide whether to use neighborhood, bipartite, or SOS1 branching (this parameter
3708 replaces the old parameters `constraints/sos1/neighbranch`, `constraints/sos1/bipbranch`, and `constraints/sos1/sos1branch`)
3709 - `constraints/sos1/depthimplanalysis` to limit the number of recursive calls of implication graph analysis
3710 - `constraints/sos1/perfimplanalysis` to perform an implication graph analysis to deduce variable fixings and
3711 additional SOS1 constraints (this parameter replaces the old parameter `constraints/sos1/updateconflpresol`)
3712 - `misc/transsolorig` for transfering transformed solutions to the original space (default: true)
3713 - `propagating/rootredcost/onlybinary` to propagate root reduced costs of binary variables only
3732 - fixed a bug in merge step of cliques during clean up phase; method did not correctly handle infeasibility in the case of multiple
3734 - fixed a previously untreated case in the linear cons simplification where coefficients only differ by slightly more than an epsilon
3739 - fixed bug with transferring solutions to new runs (need to recompute objective before checking)
3744 - fixed wrong check when computing cuts for factorable quadratic functions bound tightening of a single variable
3747 - fixed bug during the computation of branching points for continuous variables which are almost fixed to +/- SCIPinfinity()
3748 - treated the case of integer variables as intermediate variables in the process of obtaining the active variable for a
3752 - fixed a bug in dive.c that occurred when lpsolvefreq was set to 1; after a cutoff, the solution values of the
3754 - do not analyse an infeasible LP for conflicts during diving mode when LHS/RHS of rows were changed
3761 - fixed bug in shiftandpropagate heuristic: the heuristic did not correctly handle intermediate, global bound changes of the selected variable
3769 - fixed a bug in shiftandpropagate where column positions after sorting are now correctly linked to their variables after sorting
3774 - fixed some problem with reoptimization when the problems are infeasible or have been solved in presolving
3775 - fixed endless loop in knapsack constraint handler when continuous variables change their types to binary during presolving
3776 - squares of binary variables might not have been replaced by the binary variable itself in presolve,
3777 if the variable was originally general integer and only became binary during presolve (due to bound tightening)
3781 - fixed numerical problems in computation of cuts for bivariate functions in quadratic constraint handler
3783 - fixed bug in nonlinear constraint handler when replacing a violated nonlinear constraint leads to an infinite
3785 - fixed wrong handling of negated variables in bound tightening procedure of SOS1 constraint handler
3788 - fixed issue: constraints being parallel to objective function (after restart) sometimes led to wrongly stating infeasible
3791 - fixed late change of type of slack variables in cons_indicator, if the bounds are not integral
3801 - added reoptimization feature for optimization problems with changed objective function or tighter feasible region
3802 - the original problem can now be permuted directly after reading (if `misc/permutationseed` has value >= 0)
3805 - convex quadratic contraints can now generate gradient cuts which are supporting to the feasible region
3807 - extended expression parsing to support power, realpower and signpower operators; started support for user-defined operators
3809 - possibility to set a soft time limit which becomes active only after the first primal solution was found
3813 - new plugin for reoptimizing a sequence of optimization problem that differ in the objective function, e.g., sequences arising from
3815 - new plugin `compr` for rearranging the search tree, currently this only works on the reoptimization tree
3820 - we can also upgrade general quadratic constraints with a single negative eigenvalue to SOC constraints
3823 - tighter reliability notions introduced for reliability branching, based on pseudo-cost relative errors
3824 and comparing candidates with the best pseudo-candidate using a 2-sample student-T test. These methods
3825 are used in disjunction with the existing reliability notion that uses a fixed number as reliability
3826 threshold for every variable before turning off strong-branching. This means, the classical method
3829 - new distribution branching rule to base decisions on row activity (normal) distribution over domain space
3831 - new score in hybrid reliability pseudocost branching that prefers nonlinear variables when solving MINLPs
3832 - new branching rule multaggr which allows to branch on general disjunctions defined by fractional multi-aggregated variables
3833 - new branching rules for SOS1 constraints for branching on a neighborhood or a complete bipartite subgraph of
3834 the conflict graph. In addition to variable domain fixings, it is sometimes also possible to add complementarity
3835 constraints to the branching nodes. This results in a nonstatic conflict graph, which may change dynamically
3840 - the MPS reader can now read semi-integer variables, they are handled by creating bound disjunction constraints
3841 - the MPS reader can now handle objective constants given as (the negation of) the RHS of the objective row
3844 - obbt propagator applies now additional separation and propagation in order to learn stronger and more bound tightenings
3846 - improved separation procedure of SOS1 constraint handler, including bound (clique) cuts and implied bound cuts
3851 - Improved coordination of presolvers. There are three timings for presolvers now, FAST, MEDIUM and EXHAUSTIVE.
3852 Each presolving callback can specify one or more of these timings in which it will be called later.
3853 Within a presolving method, the current timing can be checked and the algorithms to be performed selected based on
3854 the timing. In one presolving round, first all presolving methods with timing FAST are called, sorted by priority.
3855 If they found enough reductions, a new round is started, otherwise, all presolving methods with timing MEDIUM are
3856 called. Again, with enough reductions, a new presolving round is started, too few reductions lead to running
3857 the EXHAUSTIVE presolvers. Similar to the delay concept used before, we are not neccessarily running all EXHAUSTIVE
3858 presolvers but stop as soon as one of them found enough reductions, starting a new presolving round immediately.
3859 - new presolving components for SOS1 constraints, including bound tightening and clique extension
3860 - new presolver tworowbnd for improving variable bounds and detecting redundant constraints added
3861 - new presolver dualagg for aggregating single up-/downlocked variables by a binary variable added
3868 - new heuristic distribution diving that bases its score function on the changes regarding solution density
3869 - variable histories can be transferred between sub-SCIPs solved by LNS heuristics and the component presolver
3871 - new heuristic heur_indicator that tries to make partial solutions with indicator constraints feasible. It also
3873 - new heuristic (heur_bound) which fixes all integer variables to their lower/upper bounds and solves the remaining LP
3875 - new primal heuristic for reoptimization 'ofins': objective function induced neighborhood heuristic
3876 - new heuristic for reoptimization which constructs solutions based in the changes between the objective function and the optimal
3880 - extended variable branching statistics in the interactive shell by sample variance of unit gains
3881 - extended statistic output of interactive shell by more information on diving heuristic behavior
3890 - improved vartype upgradability from continuous to implicit variables in cons_linear.c, depending on their objective coefficients
3894 - zi rounding heuristic uses buffer data structures, thereby decreasing total memory usage of SCIP
3895 - adjusted (hard) diving heuristics to solve fewer LPs. LP's are resolved only if a parameter-defined
3896 percentage of the variable bounds changed through domain propagation or at a predefined frequency.
3897 - some of the diving heuristics additionally consider indicator variables and SOS1 variables as candidate variables and try to
3901 - new presolving/propagation algorithm using the gcd for ranged rows and equations in cons_linear
3902 - added presolving levels (FAST, MEDIUM and EXHAUSTIVE) to allow better balancing of presolvers
3911 - two new applications for multi-objective optimization (PolySCIP) and the Steiner Tree Problem in Graphs
3912 - new application for solving Steiner tree problems: SCIP-Jack can handle both the classical Steiner tree problem in graphs
3921 constraint handler method to suggest dive bound changes during the generic diving algorithm, see type_cons.h for details
3927 - SCIPintervalSign(), SCIPintervalAbs(), SCIPintervalMax(), SCIPintervalMin(), SCIPexprgraphGetNodePolynomialMonomialCurvature(),
3928 and SCIPexprgraphTightenNodeBounds() need an infinity value to decide whether an interval is empty or not
3929 - SCIPgetFeasibilityQuadratic() and SCIPgetActivityQuadratic() returns now a `SCIP_RETCODE` and needs an additional `SCIP_Real*` to
3931 - methods which support statistical tests in pub_misc.h, SCIPstudentTGetCriticalValue(), SCIPcomputeTwoSampleTTestValue() etc.
3945 - SCIPmakeSOS1sFeasible() based on solution values, fixes variables to zero to turn all SOS1 constraints feasible
3946 - removed `delay(presol)` parameter from SCIPinclude{Conshdlr,Presol,Prop}() and added `(presol)timing` parameter
3955 - Added parameter `consgetdivebdchgs` to SCIPincludeConshdlr() to provide a divebdchg-callback for the constraint handler
3964 - Added parameters `inds` and `ninds` to SCIPgetLPBInvRow(), SCIPgetLPBInvCol(), SCIPgetLPBInvARow(), SCIPgetLPBInvACol(), and
3970 - SCIPnodeGetVarSOS1() returns SOS1 variable associated to some given node in the conflict graph
3992 - started support for user-defined operators in expression trees/graphs (see SCIPexprCreateUser()),
3997 - SCIPcutGetLPActivityQuot() in pub_cutpool.h to get the potion of LP's where this cut was sharp in an optimal basis.
3998 - SCIPpresolGetTiming(), SCIPpresolSetTiming(), SCIP{conshdlr,prop}GetPresolTiming(), and SCIP{conshdlr,prop}SetPresolTiming()
3999 - SCIPdigraphSetNSuccessors() sets the number of successors of some digraph node to a given value
4002 - SCIPcreateDiveset() to add a diveset to a heuristic. Heuristics may have multiple divesets under different names
4003 - SCIPperformGenericDivingAlgorithm() that performs diving with periodic LP resolve according to the diveset argument.
4006 - new setter function SCIPsetConshdlrGetDiveBdChgs() in scip.h to set dive bound change callback for this constraint handler
4007 - SCIPaddDiveBoundChange() to add a diving bound change to the diving bound change storage of SCIP together with the information if this is a
4008 bound change for the preferred direction or not, to be used by constraint handlers inside the getDiveBdChgs-callback
4009 - SCIPchgCoefLinear() and SCIPdelCoefLinear() to modify linear constraint during problem creation
4013 BMSallocClearBufferMemoryArray(), SCIPallocClearBufferArray() to allocate arrays that are initialized to 0
4017 - added new sorting functions SCIPsortRealRealRealBoolBoolPtr(), SCIPsortDownRealRealRealBoolBoolPtr()
4018 - added new sorting functions SCIPsortIntIntIntReal(), SCIPsortDownIntIntIntReal(), SCIPsortRealIntInt(), SCIPsortDownRealIntInt()
4022 - SCIPcheckParam{Bool,Char,...}() to check whether a parameter value is within the feasible domain
4025 - SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgSquareCoefQuadratic(),
4027 - SCIPgetFeasibilityQuadratic() and SCIPgetActivityQuadratic() to get the feasibility and activity of a quadratic constraint in a given solution
4028 - SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddBilinLinearization() and SCIPaddBilinMcCormick()
4029 in cons_quadratic.h to compute linear under- and overestimation for bilinear and quadratic terms
4033 - extended variable branching statistics and statistic output in the interactive shell (see Statistic section)
4039 - in the AMPL interface, variable and constraint attributes (flags) can now be set via suffixes, where 0 (unset) stands
4040 for the default, 1 for TRUE and other values for FALSE; see SCIPcreateVar() and SCIPcreateCons() for their meaning;
4042 for constraints, `initial`, `separate`, `enforce`, `check`, `propagate`, `dynamic` and `removable` are recognized
4043 - the AMPL interface now passes an initial guess, if specified, as a solution (that will be checked for feasibility) to SCIP
4047 - rowrepswitch set to 2.0, so row representation is activated if LP has at least 2 times more rows than columns
4048 - one can now set emphasis parameters at the beginning of a settings file; it should start with `emphasis:` and
4059 - `branching/relpscost/confidencelevel` to set the confidence level to be used by statistical tests
4060 - `branching/relpscost/higherrortol` to define the highest reliability threshold for relative error based reliability
4061 - `branching/relpscost/lowerrortol` to define a lower reliability threshold for relative error based reliability
4063 - `branching/relpscost/usedynamicconfidence` to use a dynamic confidence level based on the amount of
4064 strong-branching simplex-iterations compared to the overall simplex iterations (default is FALSE)
4065 - `branching/relpscost/usehyptestforreliability` to enable strong branching decisions based on a 2-sample student-T test of all prior
4066 pseudo-cost observations between the best pseudo-candidate and the candidate for which to decide whether strong-branching should be applied
4068 - `branching/relpscost/skipbadinitcands` for skipping strong-branching candidates whose estimated gain
4070 - `constraints/linear/multaggrremove` to perform multi-aggregations in linear constraint handler only if the constraint can be removed afterwards
4071 - `constraints/linear/rangedrowpropagation` to disabled newly implemented propagtion algorithm for ranged rows and equations
4072 - `constraints/quadratic/advanced/interiorcomputation` to select the way of computing and interior point for gauge cuts
4073 - `constraints/quadratic/gaugecuts` to enable convex quadratics to generate gradients cuts which are supporting
4075 - `constraints/SOS1/addcomps` to add local complementarity constraints to the branching nodes (can be used in combination
4077 - `constraints/SOS1/addbdsfeas` to define a minimal feasibility value for local bound (clique) inequalities in order to be
4079 - `constraints/SOS1/addcompsdepth` to define the maximal depth for adding complementarity constraints
4080 - `constraints/SOS1/addcompsfeas` to define a minimal feasibility value for local complementarity constraints in order to be
4082 - `constraints/SOS1/autocutsfromsos1` to automatically switch to separating bound cuts from SOS1 constraints if the SOS1
4084 - `constraints/SOS1/autosos1branch` to switch to SOS1 branching if the SOS1 constraints do not overlap
4086 - `constraints/SOS1/bipbranch` to branch on a complete bipartite subgraph of the conflict graph
4089 - `constraints/SOS1/boundcutsfromgraph` to define whether to separate bound (clique) inequalities from the conflict graph
4090 - `constraints/SOS1/boundcutsfromsos1` to define whether to separate bound (clique) inequalities from SOS1 constraints
4091 - `constraints/SOS1/fixnonzero`: If neighborhood branching is used, then fix the branching variable (if positive in sign)
4096 - `constraints/SOS1/maxaddcomps` to define the maximal number of complementarity constraints added per branching node
4097 - `constraints/SOS1/maxboundcuts` to define the maximal number of bound (clique) cuts separated per branching node
4098 - `constraints/SOS1/maxboundcutsroot` to define the maximal number of bound (clique) cuts separated per iteration in the root node
4099 - `constraints/SOS1/maximplcuts` to define the maximal number of implied bound cuts separated per branching node
4100 - `constraints/SOS1/maximplcutsroot` to define the maximal number of implied bound cuts separated per iteration in the root node
4101 - `constraints/SOS1/maxextensions` to define maximal number of extensions that will be computed for each SOS1 constraint in presolving
4102 - `constraints/SOS1/maxsosadjacency` to define that the adjacency matrix of the conflict graph is not created in presolving if
4104 - `constraints/SOS1/maxtightenbds` to define the maximal number of bound tightening rounds per presolving round
4106 - `constraints/SOS1/nstrongiter` to define the maximal number LP iterations to perform for each strong branching round
4107 - `constraints/SOS1/nstrongrounds` to define the maximal number of strong branching rounds to perform for each node (only
4109 - `constraints/SOS1/sos1branch` to branch on a single SOS1 constraint, i.e., a clique of the conflict graph
4111 - `constraints/SOS1/strthenboundcuts` to define whether to strengthen bound (clique) cuts in case bound variables are available
4112 - `constraints/SOS1/updateconflpresol` to update the conflict graph during the presolving procedure
4113 - `display/allviols` to print all violated constraints of the best solution during checksol in the scip shell
4114 - `heuristics/indicator/improvesols` that turns on the improvement of external solutions by one-opt
4115 - `heuristics/∗diving/lpresolvedomchgquot` to determine the percentage of changed domains since previous LP to trigger
4117 - `heuristics/∗diving/lpsolvefreq` to determine the frequency for resolving LP's during the execution of
4118 this heuristic [default: 1, use 0 for a dynamic setting based on the number of domain reductions]
4120 - `heuristics/shiftandpropagate/binlocksfirst` to set if binaries without locks should be preferred in ordering
4121 - `heuristics/shiftandpropagate/maxcutoffquot` to select a maximum percentage of allowed cutoffs before stopping the heuristic (default is 0.0)
4122 - `heuristics/shiftandpropagate/selectbest` to trigger if shiftandpropagate should select the best candidate in every round
4124 - `limits/autororestart` for triggering an automatic restart after this many nodes, or -1 for no auto restart [default is -1]
4125 - `limits/softtime` to set a soft time limit (active only after first primal solution was found)
4128 - `misc/outputorigsol` to control whether at the end of a command line run the solution should be output in the orignal space
4129 - `numerics/checkfeastolfac` to scale feasibility tolerance when checking the feasibility of best found solution
4131 - `separating/cutselrestart` for cut selection during restart copy process (`a`ge, activity `q`uotient) [default is `a`]
4132 - `separating/cutselsubscip` for cut selection for sub SCIPs (`a`ge, activity `q`uotient) [default is `a`]
4133 - `separating/disjunctive/maxconsdelay` to delay separation of disjunctive cuts if number of SOS1 constraints is larger than predefined value
4135 - `separating/disjunctive/maxinvcuts` to define the maximal number of disjunctive cuts investigated per iteration in a branching node
4136 - `separating/disjunctive/maxinvcutsroot` to define the maximal number of disjunctive cuts investigated per iteration in the root node
4137 - `separating/disjunctive/maxrank` to define the maximal permissible rank of a disjunctive cut that could not be scaled to integral coefficients
4138 - `separating/disjunctive/maxrankintegral` to define the maximal permissible rank of a disjunctive cut that could be scaled
4140 - `separating/disjunctive/maxrounds` to define the maximal number of separation rounds of disjunctive cuts in a branching node
4141 - `separating/disjunctive/maxweightrange` to define the maximal valid range of simplex tableau row weights
4146 - new struct `SCIP_DIVESET` that bundles options for SCIP's diving heuristics; all hard diving heuristics (those
4164 - new parameter `DELHEADERS` for `uninstall`-target: scip headers are only removed when invoking `make uninstall DELHEADERS=true`
4165 - added scripts check_xpress.awk, check_xpress.sh, evalcheck_xpress.sh and check_cluster_xpress.sh and target
4171 - fixed bug in primal.c and tree.c by using SCIPinfinity() as a cutoffbound to delete child nodes
4175 - fix behavior of `make install` which now sets symbolic links and short links to binaries and libraries
4179 - fixed bug in prop_symmetry.c, where an incorrect weak symmetry handling constraint got added.
4189 - fix wrong comparisons of values larger/less than +/- SCIPinfinity() in branch.c, lp.c and sol.c
4196 - fixed wrong assert in cons_indicator (slack variables might be replaced by active variables that have nonzero objective)
4197 - fix late creation of auxiliary LP in cons_nonlinear.c, which lead to a segmentation fault with lpi_spx2.cpp
4199 - fixed setting of enforcement flag for constraints created by reformulation in nonlinear constraint handlers
4205 - fix potential memory leak in method detectRedundantConstraints() of the knapsack constraint handler
4209 - fixed bug in intervalarith.c: bivariate quadratic equations may have been solved wrongly if second variable is unbounded
4214 - fixed bug in cons_quadratic.c which leads to an overflow when SCIP allocates memory for a dense matrix
4246 - forbid to call SCIPfixVar() in `SCIP_STAGE_PRESOLVED` stage, which is not allowed since it calls SCIPchgVarLb/Ub()
4252 - SCIPapplyProximity() has an additional parameter freesubscip, which causes the method to free
4264 - added dialog for writing the finite solution (calling SCIPcreateFiniteSolCopy() before writing)
4268 - AMPL interface now returns dual multipliers if problem is an LP and presolving was turned off
4272 - changed default value of parameter `heuristics/proximity/minimprove` to 0.02; previous value was 0.25
4277 - `timing/rareclockcheck` to call the system time less frequently, based on the current average time interval
4279 - `timing/statistictiming` to enable/disable all timers for statistic output of SCIP; the default value is TRUE
4292 - allow to turn off block and buffer memory by the makefile parameters NOBLKMEM, NOBUFMEM, NOBLKBUFMEM;
4300 - fixed bug 697 (and 699), calling SCIPsolve() after the problem was already solved and SCIPfreeSolve() was called now
4302 - added support for character `#` in variable names in old non-linear CIP format (i.e., names without `<` and `>`)
4304 - branching for continuous variables with unbounded intervals now takes `branching/clamp` into account
4306 - fixed bug 683, not recognizing errors/segfaults especially in free stage of SCIP by improving the check scripts
4310 - another bug fix when computing the original variable sum of a given variable in SCIPvarGetOrigvarSum()
4314 - fixed bug in SCIPpermuteProb(): if called before transforming the problem, data structures were not initialized yet
4315 - fixed bug in aggregation procedure if two variables were of non-binary type but for one of the variables
4317 - treat activities of pseudo solutions as invalid when containing positive and negative infinity contributions
4320 - fixed bug in SCIPpermuteProb(), when called in transformed stage and non-active constraints exist
4329 - fixed the rare case that branching was performed even though strong branching found global bound changes leading to
4331 - fixed bug that objective limit was not reset correctly during SCIPfreeTransform() for maximization problems
4332 - fixed bug that hitting the time limit while solving a pure LP and then continuing the solving process lead to
4336 - fixed bug leading to an incorrect dual bound when solving probing LPs within a DURINGPRICINGLOOP heuristic
4337 - fixed bug in proximity heuristic which attempted to enter diving mode even at nodes without a constructed LP
4339 - fixed bug in heur_oneopt: avoid bound violations if shift value is negative due to infeasibilities
4340 - fixed bug that reaching a solution limit by beforenode heuristics lead to disregarding the current node if the
4347 - fixed bug in components presolver with handling of dual fixable variables: unboundedness was not detected,
4349 - issues in component solving by presol_components do not lead to stopping the overall process, anymore, the component
4361 - fixed bug in presolve of cons_nonlinear: wrong constraint upgrades may have been performed due to outdated bound
4364 - fixed bug in cons_sos1: locks and events were not initialized if constraint was added to transformed problem
4370 - fixed bug(?) in reader_mps: variables are now written in columns section even of they occur in no constraint
4373 - fixed bug in reader_lp which created two indicator constraints with the same name to trigger an equality
4374 - fixed bug when reading indicator constraints for linear constraints (equations/ranged rows) from MPS files
4383 - new node selection rule UCT which balances exploration and exploitation by considering node visits
4384 - added possibility to not set a cutoff bound in the LP solver (can be enabled by setting `lp/disablecutoff` to TRUE)
4388 - added upgrade of continuous variables to implicit variables for linear equations even if the coefficient is
4395 - it is now possible to add an offset for the original problem instance, all original solutions will be initialized with
4397 - extended and corrected dual feasibility checks for LP solution (controlled by parameter `lp/checkdualfeas`)
4405 - additional vbc output added: branching information is printed earlier and also for nodes which were cut off
4406 - added support for strong branching with domain propagation in full strong and reliability pseudo cost branching
4407 - added strong branching with domain propagation support: in SCIPstartStrongbranch(), support for propagation can
4408 be enabled (uses the probing mode, some overhead compared to standard strong branching), after that
4409 SCIPgetVarStrongbranchWithPropagation() can be used to perform strong branching on a variable with previous domain
4412 - added possibility to store pricing norms of the LP solver (in addition to basis information) to speed up LP solving
4414 - a pricer can now return that no further pricing should be done but rather early branching, even if it added variables
4421 - added propagation method to cons_xor relying on Gaussian elimination, which can also produce feasible solutions
4429 - cumulative constraint handler adds disjunctive constraints (cumulative with capacity 1) for all jobs which cannot
4435 - XOR constraint handler can add two extended formulations (flow/asymmetric, parameter `addflowextended/addextendedform`)
4436 - added multi-aggregation for binary variables with at most two uplocks and two downlocks, which emerge from set-
4443 - all readers now take the global parameters `reading/dynamic{conss|cols|rows}` and `reading/initialconss` into account
4444 - added reader_pbm, which writes the constraint-variable incidence matrix in pbm format (possibly scaled to given size)
4446 - reader_lp and reader_mps are now able to write and-constraints in form of their (weak/strict) relaxation
4447 - added reading capability to GAMS reader (if compiling with GAMS=true, requires a GAMS system)
4448 - added capability of writing SOS1/2 constraints to GAMS reader (introduces extra variables and equations)
4452 - new LNS heuristic called `proximity`, which solves a problem in which a local branching constraint replaces the
4454 - new LP-based rounding heuristic (heur_randround) whose randomized rounding is biased towards the LP solution value;
4455 the heuristic uses the probing mode of SCIP to generate conflict clauses on the fractional variables
4459 - changed dualfix presolver to propagator such that dual fixing can also be applied during repropagation of the root node
4464 - added more presolving to cons_indicator, checking whether indicator/slack variables are aggregated
4465 - added presolve.{c,h} which should be used for all preprocessing mechanisms executed from within SCIP, corresponding to
4466 solve.{c,h} and also for presprocessing methods which can be called from different plugins or from the core to avoid
4468 - return error if variable should be fixed to infinity after presolving (LP-solvers do not handle this consistently)
4469 - in verblevel `SCIP_VERBLEVEL_FULL`, the number of non-zeros will be output for the original and presolved model
4470 - new presolving step for tightening logicor constraints using implication and clique information
4471 - several new presolving steps for linear and knapsack constraints, using gcd information and many more
4474 - added average gap based on primal-dual integral to solution statistics; can be disabled via parameter
4477 - added new statistic which distinguishes between internal nodes and leaves which got processed
4478 - new section `Root Node` in statistics, listing objective value, iterations and solving time for the first LP solved
4479 at the root node as well as final dual bound of the root node and LP iterations for processing the root node
4480 (those where listed in the `Solutions` section before, named `Root Dual Bound` and `Root Iterations`)
4487 - apply lowerbound provided by pricers already during pricing loop, stop pricing if the lower bound computed by pricing
4495 - faster feasibility check of LP solutions (controlled by parameters `lp/checkprimfeas` and `lp/checkdualfeas`)
4499 - improved performance of method SCIPsolRetransform() when called during presolving with many aggregations
4511 - conflict consisting of exactly two binary variables will be handled as set-packing constraint instead of an logicor
4516 - improved multi-aggregation in linear constraint handler when only one variable in the aggregation has infinity
4528 - removed all message length parameters in message.c and for printing error messages (not needed anymore)
4533 - added parameter `nmarkedconss` to SCIP_DECL_CONSPROP() callback which gives the number of constraints marked
4537 - Added parameter `nodeinfeasible` to SCIP_DECL_HEUREXEC() callback which states whether the current subproblem was
4538 already detected to be infeasible. In this case, the current LP solution might not respect local bounds and the
4542 - Added parameter `stopearly` to callback method SCIP_DECL_PRICERREDCOST(). This boolean pointer should be used by the pricer
4543 to state whether early branching should be performed, even if new variables were added in the current pricing round.
4546 - new possible return value `SCIP_DIDNOTFIND` for SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), and
4547 SCIP_DECL_BRANCHEXECEXT() callbacks to state that the branching rule searched, but did not find a branching.
4551 - SCIPcalcMIR() takes an additional parameter sidetypes to determine which side of the rows to use
4558 - SCIPgetLPBranchCands() can be used to retrieve the number of implicit integer variables with fractional LP solution
4559 value via an additional pointer; the corresponding implicit integer variables can be accessed together with their
4560 fractionalities and solution values in the same way as binary and integer variables before; the arrays are sorted such
4561 that binary and integer variables precede the implicit integer variables; the method SCIPbranchcandGetLPCands()
4565 - Added parameter `sidetypes` to SCIPcalcMIR() to specify the specify row side type to be used.
4566 - Added parameter `cutrank` to SCIPcalcMIR() and SCIPcalcStrongCG() which stores the rank of the returned cut;
4568 - Added parameter `infeasible` to SCIPaddCut() which is a pointer to store whether the cut is infeasible for the
4570 - SCIPgetLPObjval() now returns the LP value of the current (suboptimal) basis if the iteration limit is hit during LP
4571 solving (instead of -infinity); this value is not necessarily a valid dual bound and must not be used as such, but can
4572 be used as an objective estimate, e.g., if strong branching is simulated using the probing mode
4576 - Added parameter `lazyconss` to SCIPwriteMIP() to swith writing removable rows as lazy constraints.
4577 - Added parameter `enablepropagation` to SCIPstartStrongbranch(), which can be used to enable strong branching
4579 - SCIPstartStrongbranch() has a new parameter `propagate` to enable or disable propagation support for strong branching
4580 - New method SCIPgetVarStrongbranchWithPropagation() which performs strong branching with propagation on a variable.
4581 - Added parameter `endptr` to SCIPparseVar() which stores the final string position after parsing.
4585 - added SCIPdebugCheckConss() to the debugging mechanism and therefore created a `SCIP_SOL` (in original space) in debug.c
4586 - before copying solutions to the original solution candidate storage, infinite solution values can now be removed using SCIPcreateFiniteSolCopy()
4587 - SCIPsortLongPtrRealBool(), SCIPsortLongPtrRealRealBool(), SCIPsortLongPtrRealRealIntBool() and corresponding
4590 - SCIPwriteCliqueGraph() which allows to write a graph with node weights for fractional variables
4593 - SCIPconshdlrIncNCutsFound(), SCIPsepaIncNCutsFound() and SCIPsepaIncNCutsFoundAtNode() to increase the number of found cuts
4597 - New method SCIPconshdlrGetStrongBranchPropTime() which returns the time used for domain propagation methods
4599 - New method SCIPconsIsMarkedPropagate() which returns whether a constraint is marked for propagation.
4600 - New methods SCIPconsAddUpgradeLocks() and SCIPconsGetNUpgradeLocks() to increase or get the number of upgrade
4605 - New methods SCIPsparseSolGetFirstSol() and SCIPsparseSolGetNextSol() to get the first sparse solution
4607 - New methods for the `SCIP_QUEUE` data structure in pub_misc.h to handle a (circular) queue, e.g., SCIPqueueCreate(),
4608 SCIPqueueFree(), SCIPqueueInsert(), SCIPqueueRemove(), SCIPqueueFirst(), SCIPqueueIsEmpty(), SCIPqueueNElems()
4609 - New method SCIPgmlWriteNodeWeight() to write a node section including weight to a .gml graph file.
4610 - New methods for hash tables: SCIPhashtableRemoveAll(), SCIPhashtableGetNElements(), SCIPhashtableGetLoad()
4611 - New methods in pub_misc.h to handle a resource activity, e.g., SCIPactivityCreate(), SCIPactivityFree(),
4613 - New methods for digraphs: SCIPdigraphResize() to resize the graph and SCIPdigraphSetNodeDatas() and
4617 - New method SCIPpropGetStrongBranchPropTime() which returns the time spent by a domain propagator during strong branching.
4618 - New methods SCIPmarkConsPropagate() and SCIPunmarkConsPropagate() to (un)mark a constraint for propagation.
4621 - New methods SCIPchgRowLhsDive() and SCIPchgRowRhsDive() to change left and right hand side of a row during diving.
4622 - Added parameter `cutoff` to SCIPsolveDiveLP(), SCIPsolveProbingLP(), and SCIPsolveProbingLPWithPricing()
4623 which is a pointer to store whether the diving/probing LP was infeasible or the objective limit was reached.
4624 - SCIPgetFirstLP{Dual/Lower}boundRoot() which return the value of the first LP solved at the root node
4625 - SCIPgetNRootFirstLPIterations() which returns the number of LP iterations for the first LP solved at the root node
4626 - SCIPlpiGetNorms(), SCIPlpiSetNorms() and SCIPlpiFreeNorms() for getting the LP pricing norms from the LP
4628 - New method SCIPgetFirstLPTime() and SCIPgetNRootFirstLPIterations() to return time and iterations for the first LP solve
4629 and SCIPgetFirstLPDualboundRoot() and SCIPgetFirstLPLowerboundRoot() to return the first root LP dual and lower bound.
4630 - New method SCIPprintDualSol() which prints the dual solution for a pure LP (works only with preprocessing disabled).
4634 - the main output routine of message.c (`bufferMessage` now handleMessage) has been rewritten: it now does not need
4635 a copy of the string to be output anymore, which makes the code much simpler (and also faster); it is passed a
4649 - SCIPshrinkDisjunctiveVarSet(), which takes an set of variables with corresponding bounds and boundtypes, and
4650 tries to derive global boundchanges and also to shorten this set of variables by using cliqe, implication and
4657 - New method SCIPcreateFiniteSolCopy() to create a copy of a solution with infinite fixings removed.
4658 - New method SCIPadjustImplicitSolVals() which sets implicit integer variables to an integer value in the given
4660 - New method SCIPcopyOrig() to copy the original problem. Analoguosly, use SCIPcopyOrigProb(), SCIPcopyOrigVars(),
4661 and SCIPcopyOrigConss() to copy original problem data, variables, or constraints, respectively.
4665 - New method SCIPcopyImplicationsCliques() to copy implications and cliques to a copied SCIP instance.
4667 - Added parameter `endline` to SCIPprintDisplayLine() to switch printing a newline symbol at the end of the line.
4668 - New method SCIPgetNLimSolsFound() returning the number of feasible primal solution respecting the objective limit.
4679 - add support for SOS1 and SOS2 constraints to AMPL interface (see `interfaces/check/testset/SOS/sos?a.mod` for example)
4680 - added copy of GAMS interface from COIN-OR/GAMSlinks project; GAMS-reader in SCIP can now read model instances from .gms files
4681 - beta version of a python interface for the scipoptsuite is now available under interfaces/python
4686 - parameter `branching/scorefunction` has new value `q` for for `q`uotient branching score function
4687 - replaced parameter `lp/checkfeas` by two parameters `lp/checkprimfeas` and `lp/checkdualfeas` to decide on primal and dual
4689 - removed all local parameters `reading/(READER)/dynamic{conss|cols|rows}` and replaced them by global parameters
4691 - changed default value of parameter `numerics/dualfeastol` to 1e-7 for safer dual bounds from LP solver
4692 - new possible values for parameter `heuristics/shiftandpropagate/sortkey` for sorting variables w.r.t. their norm,
4696 - changed type of parameters `constraints/bivariate/scaling`, `constraints/quadratic/scaling`, `constraints/soc/scaling`
4698 - changed default for `constraints/{abspower,bivariate,nonlinear,quadratic,soc}/scaling` to off
4702 - changed default value of gomory cut separation parameter `separating/gomory/maxrank` from 0 to 3, to take also gomory
4708 - `branching/checksol` and `branching/heursbsol` to specify whether the strong branching LP solution
4709 should be checked for feasibility and whether a simple rounding heuristic should be run on this solution
4711 investigated during strong branching (`u`p, `d`down, `a`uto) and whether always both children should be solved (only for
4712 strong branching with domain propagation, per default, the second child is not looked at when the first is infeasible)
4713 - `conflict/fullshortenconflict` to decide whether we want to stop shortening a conflict set, when no
4715 - `conflict/maxvarsdetectimpliedbounds` to decide whether the a valid conflict of what maximal length
4717 - `constraints/{linear,knapsack}/detectcutoffbound` and `constraints/{linear,knapsack}/detectlowerbound`
4718 to enable/disable detection of constraint parallel to the objective function that will add an cutoffbound or an
4720 - `constraints/and/upgraderesultant` to upgrade resultants of and constraints from binary to implicit binary variables, default is TRUE
4722 - `constraints/indicator/scaleslackvar` for scaling of the slack variable in indicator constraints
4723 - `constraints/indicator/trysolfromcover` for trying to construct a feasible solution from a cover
4724 - `constraints/linear/checkrelmaxabs` for checking linear constraints with a side of 0.0 relative to
4725 - `constraints/linear/detectpartialobjective` to enable/disable the detection of sub-equations of the objective function
4726 - `constraints/logicor/strengthen`, should pairwise constraint comparison try to strengthen constraints by removing superflous non-zeros?
4728 - `constraints/xor/addflowextended` to add use the extended flow formulation in XOR-constraints
4729 - `heuristics/<heurname>/lplimfac` for LNS heuristics to limit the number of LPs solved in a subproblem
4731 - `heuristics/shiftandpropagate/fixbinlocks` for fixing binary variables with no locks in one direction to the corresponding bound
4732 - `heuristics/shiftandpropagate/collectstats` which decides whether variable statistics are collected
4733 - `heuristics/shiftandpropagate/impliscontinuous` to decide whether implicit integer variables are treated as continuous variables
4734 - `heuristics/shiftandpropagate/preferbinaries` and `heuristics/shiftandpropagate/stopafterfeasible`,
4735 which decide whether binaries should be shifted first and the shifting should be stopped when no violations are left
4736 - `lp/disablecutoff` to toggle usage of LP cutoff bound (0: enabled, 1: disabled, 2: auto = disabled if pricers are used)
4738 - `misc/finitesolutionstore` to switch whether infinite fixings should be removed from solutions before
4740 - `misc/permuteconss` and `misc/permutevars` to control whether variables and/or constraints should be permuted, if permutationseed != -1
4741 - `presolving/components/feastolfactor` to increase the feasibility tolerance in all sub-SCIPs, when solving a component
4745 - `reading/lpreader/aggrlinearization-ands` and `reading/mpsreader/aggrlinearization-ands` to enable/disable
4746 the printing of the weak or strict relaxation of and-constraints in LP and MPS format, respectively
4747 - `reading/lpreader/linearize-and-constraints` and `reading/mpsreader/linearize-and-constraints` to
4749 - `separating/feastolfac` to allow dynamic decrease of relaxation feasibility tolerance depending on feasibility to applied cuts,
4750 i.e., allow relaxation solutions to have a primal infeasibility of at most this factor times the infeasibility of applied cuts
4751 - `separating/gomory/sidetypebasis` to decide whether the sides of ranged rows should be determined from the basis status
4752 - `separating/oddcycle/cutthreshold` to run odd cycle separation if not enough cuts have been found
4755 - `write/genericnamesoffset` when writing a generic problem to define an offset on the variable numbering
4776 - default flag for ZIMPL is now `auto`, which means that it is built if and only if GMP is available (GMP=true)
4783 - fixed bug when adding (global) clique, implications or variable bound information in solving stage that lead to
4784 global bound changes which contradict local bounds and therefore need to be stored as pending bound changes
4785 - unlinking a solution now copies solution values smaller than SCIPepsilon() avoiding some feasible solution in the
4788 - fixed bug when a bound change contradicts a local bound and is stored as pending, but the contradicting local
4789 bound becomes global afterwards (--> node where pending bound change is valid can be cut off)
4790 - fixed statistics bug: externally given solutions and new solutions found while transforming existing ones
4792 - fixed bug in random generators SCIPgetRandomInt() and SCIPgetRandomReal() for large intervals
4805 - fixed bug that lead to resolving the LP after diving instead of restoring the buffered solution
4813 - fixed wrong presolving finished status which sometimes occurred when the time limit was hit during presolve
4819 - fixed bug in genvbounds propagator occurring when objective offset or scale changes after a restart
4820 - fixed bug in genvbounds propagator by replacing non-active variables on right-hand side after presolving
4824 - fixed several minor bugs with handling of memory when writing aggregated variables (reader_lp, reader_mps)
4827 - nonlinear readers now create auxiliary objective variables and constraints always as initial and not removable
4832 - do not multi-aggregate variables if the constant would be a huge value in order to avoid numerical troubles
4835 - improved handling of initial constraints: constraints which are initial, but added during the search to an already
4872 - SCIPmarkColNotRemovableLocal() and SCIPmarkRowNotRemovableLocal() to forbid removal of an column/row
4894 - fixed bug that duplicate solutions stopped copying of solutions to original solution candidate store
4895 - forbid branching on variables with huge bounds; such huge values cannot be enumerated with fixed precision
4897 - fixed bug that Ipopt's error message was not fully shown due to exiting before the message handler buffer was emptied
4898 - unlinking a solution now copies solution values smaller than SCIPepsilon() avoiding some feasible solution in the
4900 - allow to add columns (rows) with nonzero indices beyond current number of rows (columns) in SoPlex LPi
4906 - fixed bug in sepa_zerohalf.c where the maxcuts(root) parameters led to an invalid memory allocation call
4910 - fixed bug in heur_oneopt.c and heur_clique.c which was caused by side-effects when calling SCIPconstructLP(); when
4911 adding new variables in this method (e.g. adding new variables needed for a relaxation), this changes the variables
4914 - fixed bug in SCIPlpComputeRelIntPoint() with wrong iteration limit and with wrong recompution
4918 - fixed issues with ungraceful termination when encountering unsupported expression operands in AMPL interface
4922 - fixed potential performance issue with tree depth always assumed to be zero when propagating in probing mode
4926 - fixed bug in cons_and.c when a constraint was not correctly propagated which led to wrong dual-presolve reductions
4931 - fixed bug in presol_domcol: locks are now checked to see whether rounding was forbidden for a variable
4934 - fixed bug in reader_gms.c w.r.t. writing nonlinear expressions with polynomials with constants
4944 - fixed bug using a too hard comparison on the objective-infeasible-decision in constraint enforcement
4945 - fixed possible cycling in enforcement of nonlinear constraints due to too early removal of newly added cuts from LP
4947 - fixed bugs in cons_bivariate.c when the nonlinear function is not differentiable on the boundary of the domain
4949 - fixed bug in cons_integral: check integrality of implicit integer variables when a solution is checked for feasibility
4952 - fixed bug in intervalarith.c: bivariate quad. equations may have been solved wrongly if second variable is unbounded
4955 - fixed bug in sepa_zerohalf.c not copying the displays to the subscip, but still changing a display parameter there
4957 - fixed bug in sepa_closecuts: need to make sure that variable values of separation point satisfy bounds
4958 - fixed bugs in sepa_oddcylce: number of arcs have to be adjusted, handle implicit binary variables,
4968 - added delayed cutpool which only gets separated if the sepastore is empty after a separation round
4985 - when using an objective limit, heuristic characters are not displayed any longer for worse solutions
5002 - fixed bug leading to removing a ranged row parallel to the objective function, although one of the sides was still needed
5006 - fixed contra-intuitive behavior when using SCIP with objective limits and solution limit at the same time;
5007 SCIP now only stops when sufficiently many solutions better than the objective limit have been found
5010 - fixed bug concerning different tolerances for reached objective limit in case of pricing with fastmip
5014 - ensure consistency of LP bounds during OBBT diving, i.e., that lower <= upper holds exactly
5016 - use tighter dual feasibility tolerance for LPs solved during optimization-based bound tightening
5025 - fixed bug resulting in trying to delete an upgraded linear constraint a second time in exitpre callback
5028 - fixed behaviour change of indicator constraint handler when solving another instance after solving one using the
5036 - fixed bug in CppAD when using signpower functions with expression pointers that do not fit into an unsigned int
5040 - methods SCIPlpiIs{PrimalFeasible,DualFeasible,DualUnbounded}() in SoPlex LPi now check that the LP is not perturbed,
5042 - fixed inconsistencies between methods SCIPlpiIs{PrimalFeasible,DualFeasible,Optimal,...} in SoPlex LPi
5045 - fixed bug when adding linear constraints with non active variables in solving process, during propagation this
5057 - fixed wrong solving status (OPTIMAL) in case an unbounded solution was provided or found by heuristic before presolve
5058 - fixed bug in heur_subnlp running with tightened tolerances: sumepsilon must be tightened like feastol and epsilon
5059 - fixed bug in nlp diving heuristic for fractional variables with values slightly outside of their domain
5064 - fixed feasibility decision bug when replacing inactive variables by their active counterparts, which might change the
5075 - SCIPcomputeLPRelIntPoint() with normtype=`s` now uses homogenized LP for computing rel.int. point too and allow to
5078 - digraph structure added to misc.c and pub_misc.h that can be used to handle directed graphs, compute undirected
5083 - parameters can now be fixed, which means that their value cannot be changed unless they are unfixed, first;
5084 the fixing status of a parameter is copied to sub-SCIPs, which allows to ensure that certain parameters
5085 are also not changed when, e.g., heuristics change emphasis settings or also specific parameters
5086 - automatic transfer of original solutions (e.g., provided by the user, from solution pool, after restart, from heuristic
5087 adding original solution during solve) to the transformed space (might fail due to, e.g., dual fixings)
5090 - added zeroobj heuristic that solves a copy of the problem without an objective function and with quite strict limits
5092 - complete reworking of the vbounds propagator: it now takes into account variable bounds, cliques and implications,
5093 stores bounds of variables which were changed and performs a forward propagation from these bounds, i.e., tries to
5094 derive new bounds for other variables; during propagation, bound changes are propagated in an (almost) topological order
5098 - new constraint handler `superindicator` for indicator constraints with slack constraints of arbitrary type
5100 - the conjunction and disjunction constraint handlers are now able to parse their CIP output format
5110 - added a presolving step in the disjunctive constraint handler, removing disjunction, where a sub-constraint was
5111 deleted, which means this sub-constraint is redundant, which again means it is always TRUE or will be enforced by
5113 - added new presolver convertinttobin, which converts bounded integer variables to their binary representation, e.g.
5114 for integer variable 0 <= x <= 10 the binary variables y0, y1, y2 and y3 are created, such that
5116 - added new presolver gateextraction, which tries to find and-gates/constraints which are linearized
5117 e.g. (x + y + z >= 1, x + y <= 1 and x + z <= 1 => x == AND(~y,~z)), in special cases it also detects set-partitioning
5118 constraints e.g. (x + y + z >= 1, x + y <= 1, x + z <= 1 and y + z <= 1 => x + y + z == 1));
5119 gate-extractor is also able to detect logicor constraints and set-packing/-partitioning constraints with the same
5121 - added new presolver components, that searches for independent components in the problem structure and solves
5122 these components as sub-SCIPs when they are small enough (per default <= 20 discrete variables, nodelimit of 10000)
5126 - CNF reader now creates feasibility instances per default, usage of an objective has to be set by a parameter
5133 - the statistics shows for a branching rule the number of calls for LP, extern and pseudo candidates
5134 - new switch `SCIP_STATISTIC` and new macros SCIPstatisticMessage(), SCIPstatisticPrintf() and SCIPstatistic() to output
5135 statistic and execute code lines which are only needed therefor. Works as `SCIP_DEBUG` and SCIPdebugXyz()
5136 - added statistics on the number of cuts/rows that have actually been applied to the lp for each constraint handler and separator;
5141 - new NLPI parameter `SCIP_NLPPAR_FASTFAIL` to enable convergence checks in NLP solver to stop early on seemingly
5148 - if first root lp is solved and the optimality is rejected by SCIP, there won't be an unnecessary solving of the lp
5150 - several performance improvements for Pseudo-Boolean optimization, pseudo objective propagator
5151 - streamlined initlp functions in cons_indicator, cons_sos1, cons_sos2 (add rows only if needed)
5153 - speed up in SCIPboolarrayExtend() in misc.c replacing a for loop with BMSmoveMemoryArray() call
5154 - speed up in var.c changing some recursive calls into iterative calls and reducing the number of VARFIX event that are
5158 - tighten primal and dual feasibility tolerances independently if they are not reached in LP solving
5162 - improved probing by ordering the variables differently and applying the one-branch before the zero-branch
5165 - improved scaling of linear constraints, linear constraints with integral variables will now be scale with
5166 1e+06/MAX(maximal absolute coefficient, 1.0) instead of 1e+03/MAX(maximal absolute coefficient, 1.0);
5168 - added clique presolving for and-constraints, which checks if two operands or one operand and the resultant are in a
5169 clique and then fixes the resultant to 0 and in the former case we can delete the and-constraint too
5171 - when all nonlinearities have been fixed and the number of nonfixed variables is 1 in cons_nonlinear/cons_quadratic/
5175 - automatically turn off separation in sepa_oddcycle if it was too unsuccessful within the last calls
5178 - changed emphasis settings: knapsack disaggregation is now allowed in fast presolving, CG-MIP separator disabled in
5186 - added parameters mincoveredrel and mincoveredabs to heur_undercover to only run if problem is sufficiently nonlinear
5188 - heur_undercover treats indicator constraints as nonlinear and fixes the binary variable for linearization
5194 - the error messages are not handled via the message handler anymore; per default the error message a written to stderr
5200 - allowed to start diving mode even if LP is not flushed, not solved, or not solved to optimality
5202 - the resolve propagation methods for the constraint handler and propagator getting a new parameter called relaxedbd;
5207 - SoPlex LPI supports setting of `SCIP_LPPAR_DUALFEASTOL` when using SoPlex version 1.6.0.5 and higher.
5210 - Forbid problem modifications in `SCIP_STAGE_{INIT,EXIT}PRESOLVE` (see pre-conditions for corresponding methods in scip.h).
5214 - all objscip *.h file now use the default SCIP interface macros (this should avoid errors when changing the interface)
5219 - Added a propagation timing parameter `proptiming` to SCIP_DECL_CONSPROP(), giving the current timing at which
5221 - New optional callback methods in constraint handlers: `SCIP_DECL_CONSGETVARS` and `SCIP_DECL_CONSGETNVARS`.
5222 These callbacks, if implemented, should return an array of all variables and the number of all variables used
5226 - New NLPI callback SCIP_DECL_NLPISETMESSAGEHDLR() to set message handler in NLP solver interfaces.
5229 - Added a propagation timing parameter `proptiming` to SCIP_DECL_PROPEXEC(), giving the current timing at which this method is
5233 - added `basic` inclusion methods which have only fundamental data of the plug-ins as arguments; added setter functions
5234 for all non-fundamental callbacks of the plug-ins; the plug-in types with basic inclusion functions are:
5235 readers, constraint handlers, conflict handlers, presolvers, propagators, heuristics, separators, relaxation handlers,
5236 branching rules, node selectors and pricers; these methods should make the usage easier, sparing out optional callbacks and
5239 optional callbacks. For example SCIPsetConshdlrParse(), SCIPsetPropCopy() or SCIPsetHeurInitsol().
5242 - Added basic creation methods for all constraints types, e.g., SCIPcreateConsBasicLinear(); these methods should make the usage easier,
5248 - tcliqueMaxClique has an additional parameter to store the number of used branch-and-bound nodes
5249 - the code in `src/dijkstra` and `src/xml` has been changed to (increasingly) conform to the SCIP coding style;
5254 - Added parameter `relaxedbds` to conflict handler callback method SCIP_DECL_CONFLICTEXEC(). This array contains
5258 - Added a parameter `restart` to the SCIP_DECL_CONSEXITSOL() callback method, indicating whether this call was
5260 - Added a parameter `relaxedbd` to SCIP_DECL_CONSRESPROP() callback method. If explaining a given bound change
5262 - Removed parameters `isunbounded`, `isinfeasible` and `result` from SCIP_DECL_CONSINITPRE() and SCIP_DECL_CONSEXITPRE()
5263 callback methods. It is not allowed to determine unboundedness or infeasibility in these callbacks, anymore.
5264 - added a `SCIP_CONS*` parameter to SCIPcreateConsDisjunction() which can represent the linear relaxation of the whole
5267 - Renamed SCIPgetCountedSparseSolutions() to SCIPgetCountedSparseSols() in cons_countsols.{c,h}.
5270 - Changed the counting system within SCIP heavily. New method for `SCIP_SPARSESOL` usage, SCIPsparseSolCreate(),
5271 SCIPsparseSolFree(), SCIPsparseSolGetVars(), SCIPsparseSolGetNVars(), SCIPsparseSolGetLbs(), SCIPsparseSolGetUbs()
5275 - removed `targetscip` parameter from SCIPconvertCutsToConss(), now this function can only convert cuts on one instance,
5277 - added `ncutsadded` parameter to SCIPcopyCuts() to be able to store the number of copied/converted cuts
5278 - New functions SCIPcreateEmptyRowCons(), SCIPcreateEmptyRowSepa(), SCIPcreateRowCons(), and SCIPcreateRowSepa() that allow
5279 to set the originating constraint handler or separator of a row respectively; this is, for instance, needed for statistics
5280 on the number of applied cuts. If rows are created outside a constraint handler or separator use SCIPcreateRowUnspec() and
5282 - New functions SCIProwGetOrigintype(), SCIProwGetOriginCons(), and SCIProwGetOriginSepa() to obtain the originator
5288 - SCIPcolGetStrongbranchLPAge(), SCIPgetVarStrongbranchLPAge(), SCIPgetNLPs(), SCIPgetNPrimalLPs(), SCIPgetNDualLPs(),
5289 SCIPgetNBarrierLPs(), SCIPgetNResolveLPs(), SCIPgetNPrimalResolveLPs(), SCIPgetNDualResolveLPs(), SCIPgetNNodeLPs(),
5290 SCIPgetNNodeInitLPs(), SCIPgetNDivingLPs(), SCIPgetNStrongbranchs(), SCIPgetNRootStrongbranchs() now return a longint
5294 - New callback method SCIP_DECL_MESSAGEHDLRFREE() which is called when the message handler is freed.
5295 - The old callback method SCIP_DECL_MESSAGEERROR() was replaced by the callback method SCIP_DECL_ERRORPRINTING().
5296 - the follwing methods additionally need the SCIP pointer as parameter to make the output thread save:
5298 - the error printing method can be replaced using the method SCIPmessageSetErrorPrinting(); the default error message
5300 - Changed the message handler system within SCIP heavily such that it is thread-safe. SCIPcreateMessagehdlr() in
5301 scip.{c,h} was replaced by SCIPmessagehdlrCreate() in pub_message.h/message.c with a changed parameter list;
5305 - Error messages (SCIPerrorMessage()) are not handled via the message handler anymore; per default the error
5307 - the following methods need an additional message handler: SCIPdispLongint(), SCIPdispInt(), SCIPdispTime(), all message
5308 handler methods (see pub_message.h), SCIPhashtablePrintStatistics(), SCIPhashmapPrintStatistics(), SCIPlpiCreate()
5309 - SCIPprintCons() does not print termination symbol `;\n` anymore; if wanted, use SCIPinfoMessage() to print `;\n` manually
5310 - remove SCIPcolPrint() and SCIProwPrint(), please use SCIPprintCol() SCIPprintRow() see scip.h
5311 - method SCIPprintError() does not need the file stream anymore. The error is written via the error message callback.
5318 renamed SCIPhasContinuousNonlinearitiesPresent() to SCIPhasNLPContinuousNonlinearity() and allow call only during
5331 - Removed parameters `isunbounded`, `isinfeasible` and `result` from SCIP_DECL_PRESOLINITPRE() and
5332 SCIP_DECL_PRESOLSEXITPRE(). It is not allowed to determine unboundedness or infeasibility in these callbacks, anymore.
5336 - Added a parameter `restart` to SCIP_DECL_PROPEXITSOL() callback method, indicating whether this call was triggered
5338 - Added a parameter `relaxedbd` to SCIP_DECL_PROPRESPROP() callback method. If explaining a given bound change
5340 - Removed parameters `isunbounded`, `isinfeasible` and `result` from SCIP_DECL_PROPINITPRE() and
5341 SCIP_DECL_PROPEXITPRE() callback methods. It is not allowed to determined unboundedness or infeasibility in
5345 - The methods SCIPsortedvecInsert*() have an additional parameter which can be used to receive the position where
5347 - new parameter in SCIPcopyPlugins() to indicate whether the message handler from the source SCIP should be passed to the
5348 target SCIP (only the pointer is copied and the usage counter of the message handler is increased)
5350 should be passed to the target SCIP (only the pointer is copied and the usage counter of the message handler is
5361 - setup timer to all plugins and therefore SCIP<plugin-type>GetSetupTime() methods in all pub_plugin-type.h to ask
5363 - new GML(Graph Modeling Language) methods SCIPgmlWriteOpening(), SCIPgmlWriteCosing(), SCIPgmlWriteArc(), SCIPgmlWriteEdge(),
5367 - SCIPcalcBinomCoef() in pub_misc.h and misc.c which calculates a binomial coefficient up to 33 over 16
5368 - SCIPheurPassSolAddSol() in heur_trysol.c; solution which are passed via this method are just without any feasibility check
5369 - SCIPgetGlobalPseudoObjval() which returns the global pseudo objective value which is all variables
5374 - SCIPisUpdateUnreliable() to check whether an iteratively updated value should be recomputed from scratch
5376 - SCIPisHugeValue() to check whether a value is huge and should be handled separately from other values
5377 (e.g., in activity computations) and SCIPgetHugeValue() to get the smallest value counting as huge
5386 - Added method SCIPisPresolveFinished() which returns whether the presolving process would be stopped after the
5387 current presolving round, given no further reductions will be found, can be used to ensure that a presolver is called very late
5390 - added forgotten implementation of SCIPfreeMemorySize(), SCIPfreeMemorySizeNull() in scip.h and BMSfreeMemorySize(),
5392 - SCIPmemccpy() in pub_misc.h and misc.c which copies either a specified number of charcters of a source
5394 - BMSmoveMemory(), BMSmoveMemoryArray(), BMSmoveMemorySize() and corresponding BMSmoveMemory_call() in
5398 - SCIPisConflictAnalysisApplicable() which return FALSE is the conflict will not runs; can be used
5400 - SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb() and SCIPaddConflictRelaxedBd(); these methods
5401 can be used to give for a bound change which is part of an explanation a relaxed bound; this means the relaxed bound
5403 - SCIPisConflictVarUsed() returns TRUE if the given bound change is already part of the conflict set;
5405 - SCIPgetConflictVarLb() and SCIPgetConflictVarUb() returning the lower/upper bound of the given
5409 - SCIPvarsGetProbvar() in pub_var.h and var.c, which returns for a given array of variables the active, fixed
5411 - SCIPgetActiveVars() in scip.{h,c}, which returns for a given array of variables the active counterparts
5412 - SCIPgetNObjVars() which returns the number of variables which have a non-zero objective coefficient
5413 - SCIPenableVarHistory() and SCIPdisableVarHistory() which can be used to turn off and on the collection
5416 - SCIPvarGetAggregatedObj() which computes for a (not active) variable the corresponding objective value
5419 - SCIPvarGetBestRootSol(), SCIPvarGetBestRootRedcost(), SCIPvarGetBestRootLPObjval() which return the best
5420 combination for a variable w.r.t. root solution value, root LP objective value and root reduced cost
5421 - SCIPhaveVarsCommonClique() in scip.{h,c}, to check for common clique information on two given variables
5422 - added basic creation methods SCIPcreateVarBasic() and SCIPcreateProbBasic() and setter functions for
5427 - added public wrapper functions for calling constraint handler callback methods for a single constraint:
5428 SCIPactiveCons(), SCIPdeactiveCons(), SCIPinitlpCons(), SCIPsepalpCons(), SCIPsepasolCons(), SCIPpropCons(),
5434 - SCIPconshdlrIncNAppliedCuts() in cons.h to increase the number of applied cuts (used by sepastore.c)
5437 - New methods SCIPgetConsVars() and SCIPgetConsNVars() which return for a given constraint the involved variables and
5443 - SCIPmessagehdlrRelease() which releases and possibly frees a given message handler (decreases number of uses)
5449 - in the interactive shell, parameters can be fixed and unfixed with `fix` (instead of `set`), e.g., `fix heuristics rens freq TRUE`;
5468 - `constraints/%s/timingmask` for changing the timingmask for calling the propagtion method of all constraint plugins
5469 - `constraints/and/dualpresolving` by default set to TRUE, enabling dual-presolving on and-constraints
5470 - `constraints/indicator/{sepacouplingcuts,sepacouplinglocal}` to enable separation of (local) cuts
5471 - `constraints/indicator/{maxsepacuts,maxsepacutsroot}` to restrict the number of separated cuts
5474 `constraints/setppc/cliqueshrinking`, first for enabling/disabling the clique lifting algorithm in cons_setppc.c,
5475 second parameter is for trying to create extra clique constraints in lifting algorithm, third parameter is for trying
5477 - `limits/totalnodes` that allows to stop at the correct node if a restart occured; therefore the new
5479 - `lp/{rootiterlim,iterlim}` to set a limit on the LP iterations spend in the initial root LP and each
5481 - `misc/transorigsols` by default set to TRUE, that switches whether SCIP tries to transfer original
5482 solutions into the transformed space (in initsol and if a heuristic adds an original solution during solving)
5483 - `numerics/hugeval` that defines the smalles value counting as huge (see new method SCIPisHugeValue())
5484 - `numerics/recompfac` which denotes the factor, by which the absolute of an iteratively updated value has
5486 - `presolving/convertinttobin/maxdomainsize` by default is set to `SCIP_LONGINT_MAX`, which deternmines
5488 - `presolving/convertinttobin/onlypoweroftwo` by default is set to FALSE, that parameter allows you to
5490 - `presolving/convertinttobin/samelocksinbothdirections` by default is set to FALSE, that parameter allows
5491 you to convert only integer variables to their binary representation, which have the same amount of up- and downlocks
5492 - `presolving/gateextraction/sorting` by default is set to 1, that parameter determines if you want to try
5493 to extract big-gates(-1) or small-gates(1) at first by ordering bigger/smaller logicor constraint up front, or use
5495 - `presolving/gateextraction/onlysetpart` by default is set to FALSE, that parameter allows you to
5497 - `presolving/gateextraction/searchequations` by default is set to TRUE, that parameter allows you to
5499 - `propagating/%s/timingmask` for changing the timingmask for calling the propagtion method of all propagator plugins
5500 - `propagating/probing/maxdepth` to set the maximal depth until the probing propagation is executed
5501 - `reading/cnfreader/useobj` to state whether an artificial objective, depending on the number of clauses
5502 a variable appears in, should be used, by default set to FALSE, old default behavior of reader corresponds to TRUE
5504 - `separating/closecuts/maxlpiterfactor` for iteration limit in relative interior point computation
5512 - added new stages `SCIP_STAGE_INITPRESOLVE`, `SCIP_STAGE_EXITPRESOLVE` and `SCIP_STAGE_FREE`; renamed `SCIP_STAGE_FREESOLVE`
5514 - Changed the counting system within SCIP heavily. `SPARSESOLUTION` was renamed to `SCIP_SPARSESOL` and moved
5522 - renamed parameter SCRDIR of `make testgams` to CLIENTTMPDIR and changed its default to `/tmp`
5529 - CppAD source code is now distributed with SCIP (`src/cppad`), so that `lib/cppad` is not used anymore;
5538 - fixed bug in solve.c, applied bounding for the initial lp was only done if root-lp-solution was valid but another
5541 - all plugins that solve sub-SCIPs now do not stop the whole solution process if there has been an error
5545 - fixed bug in shiftandpropagate w.r.t. SCIPconstructLP() which can have the side effect that variables are created
5546 - method SCIPvarGetProbvarSum() (and thus also SCIPgetProbvarSum()) returns +/-infinity if the variable resolves to a
5547 variable fixed to +/-infinity (depending on the sign of the scalar) but does not multiply with the scalar, anymore
5550 - fixed bug in sol.c with requesting values of transformed variables in original solution; previously this had only
5552 - fixed several bugs writing an mps file in the reader_mps.c, e.g. writing fixed variables which are not (yet) removed
5553 and writing integer variables even with an objective value of 0, if they only exist in non-linear constraints
5560 - fixed potential bugs in shiftandpropagate heuristic concerning the transformation update of a variable with free status
5565 - fixed bug in simple rounding heuristic with column generation for variables with strictly positive lower bound
5571 - fixed bug in Cplex LPI: after running simplex, solisbasic flag was always true, which might be wrong if Cplex hit a
5575 - fixed bug in SoPlex LPI where objective sense was not correct after reading LP from file in SCIPlpiReadLP()
5580 - fixed bug in cons_linear concerning huge activity values: besides infinite contributions, we now also treat huge
5581 contributions separately, count their occurences in a constraint and provide a relaxed activity value
5583 - fixed count of propagations in cons_indicator and only try to propagate if variables are not yet fixed
5584 - fixed some bugs in cons_disjunction.c (wrong assert, forgotten deletion of constraint, wrong SCIPreleaseCons() call)
5603 - fixed performance issue in debug mode, where SCIPvarGetLPSol_rec() calculated a value to often, which in the end lead
5605 - force cuts from linearizations of convex constraint in NLP relax solution into LP, thus allowing faster proving of
5611 - fixed bug in varAddTransitiveImplic() in var.c, when adding implications on special aggregated, namely negated, variables
5614 - fixed bug in SCIPsolveKnapsackExactly(), trying to allocate too much memory which led to an overflow and later to a segmentation fault
5618 - fixed bug in heur_undercover.c, where a variable with fixed bounds but not of status `SCIP_VARSTATUS_FIXED` was wrongly handled
5623 - fixed bug in cons_quadratic where bounds on activity of quadratic term were not always invalidated when quadratic variables were removed
5624 - fixed bug in cons.c, where after a restart the arrays for all initial constraints were corrected in the initsol process
5625 instead of the initpre process, this was to late because you might change the status in presolving which lead to an assert()
5629 - fixed bug in cons_xor.c which did not copy the artificial integer variable (used for the lp relaxation)
5637 - the pseudo objective propagator can be forced to propagate if active pricers are present; this can be done
5638 if for all (known or unknown) variables follows that: they have positive (negative) objective coefficient
5645 - improve SCIPintervalSolveBivariateQuadExpressionAllScalar() for ax=0 case if x has 0 in the interval for the linear coef.
5646 - better domain propagation for quadratic constraints that consist of `non-overlapping` bilinear terms only
5647 - ensure that a fixing of a variable in an abspower constraint is propagated to a fixing of the other variable
5648 - improvements in undercover heuristic, e.g., bound disjunction constraints are considered when setting up the covering problem
5655 - changed parameter `propagating/pseudoobj/maxcands` to `propagating/pseudoobj/minuseless` (see prop_pseudoobj.c)
5670 - fixed handling of unbounded solutions, including double-checking their feasibility and that the primal ray is a
5671 valid unboundedness proof and reoptimizing the LP with modified settings if the solution is not feasible
5680 - fixed bug in reader_mps.c: INTEND marker is now also written, if COLUMNS section ends with non-continous variables
5697 - New original solution storage capability, which allows transfering solutions between SCIP runs
5701 - interval arithmetics for power, log, exp, bivariate quadratic expressions should be rounding safe now
5702 - LP iterations in resolving calls can now be limited w.r.t. the average number of LP iterations in previous calls
5703 (after the root node); this is currently only done for the initial LP solve at a node and the corresponding parameter
5705 - it is now possible in `SCIP_STAGE_TRANSFORMED` to call SCIPaddVarLocks() (i.e. to lock variables in initialization methods)
5706 - changed computation of optimality gap which is now done in the same way as described in the MIPLIB 2010 paper: the gap
5707 is 0, if primalbound (pb) and dualbound (db) are equal (within tolerances), it is infinity if pb and db have opposite
5708 signs and (this changed), if both have the same sign, the difference between pb and db is devided by the minimum of
5710 - functionality to use the bound flipping ratio test of SoPlex is available (requires at least version 1.5.0.7)
5711 - there exists now a solution candidate store for the original problem; during transformation these solutions are tried;
5712 during free the transformed problem the best feasible solution of the transformed problem are copied to the solution
5713 candidate store of the original problem; this useful if you solve several problems iteratively, solutions get now
5715 - reworked concept of lazy bounds: they can now also be used for problems where constraints and objective together
5716 ensure the bounds; to allow this also for diving heuristics that might change the objective and thus destroy this
5721 - all C template files are now called <plugintype>_xyz.{c,h} instead of <plugintype>_xxx.{c,h}
5724 - reorganized computation of scores in cut filtering: instead of the computation at the time of addition, scores are now
5725 only computed w.r.t. the current LP solution and when cut filtering is performed; one can now fill the cut storage
5727 - New separator for close cuts and a new function to compute relative interior points of the LP
5728 - added first version of sepa_closecuts.{c,h} to separate cuts w.r.t. a point that is closer to the integral polyhedron
5731 - implement possibility to force a restart in cons_indicator if enough indicator variables have been fixed
5736 - added beta version of variable deletion: for branch-and-price application, variables can now be completely deleted
5737 from the problem; variables that are deletable have to be marked with SCIPvarMarkDeletable(), constraint handlers can
5738 implement the new `SCIP_DECL_DELVARS` callback that should remove variables from the constraints; at the moment, only
5739 the linear, the setppc and the knapsack constraint handler support this callback; furthermore, when using this
5740 feature, all used plugins have to capture and release variables they store in their data, this is currently only done
5741 for the aforementioned constraint handlers as well as the and, the varbound and the logicor constraint handler; for
5745 - added constraint handler for (absolute) power constraints (cons_abspower.{c,h}) to handle equations like z = sign(x)abs(x)^n, n > 1
5748 - new heuristic vbounds which use the variables lower and upper bounds to fix variable and performs a neighborhood search
5754 - added writing for pip files (linear, quadratic, polynomial nonlinear, polynomial abspower, polynomial bivariate, and
5760 - Extended reader for CIP models to handle various new constraints, including all types of linear constraints
5762 - changed opb(/wbo) reader which now creates pseudoboolean constraints instead of linear- and and-constraints, only a
5763 non-linear objective will create and-constraints inside the reader and while reading a wbo file the topcost constraint
5767 - Removed method SCIPreadSol(); call solution reading via SCIPreadProb() which calls the solution reader for .sol files.
5770 - Major extensions for nonlinear CIP, new option for n-ary branching on nonlinear variables (within pseudocost branching rule)
5771 - added BETA version of constraint handler for nonlinear constraints (cons_nonlinear.{c,h}) to handle nonlinear
5772 equations given by algebraic expressions using operands like addition, multiplication, power, exp, log, bivariate
5774 - added BETA version of constraint handler for bivariate nonlinear constraints (cons_bivariate.{c,h}) to compute tight
5775 estimators for 1-convex and convex-concave bivariate nonlinear functions (given as expression tree)
5782 - new presolving step `removeConstraintsDueToNegCliques` in locigor constraint handler which updates logicor constraints
5784 - new presolving step in cons_knapsack (detectRedundantVars, deleteRedundantVars) which determines redundant variables
5786 - cons_logicor is now able to replace all aggregated variables in presolving by there active or negation of an active
5792 - added counter for number calls and timing for resolve propagation calls for constraint handler and propagators
5794 - the probing presolver presol_probing.{c.h} is now a propagator prop_probing.{c,h}, all corresponding parameters moved as well
5795 - the redcost separator sepa_redcost.{c.h} is now a propagator prop_redcost.{c,h}, all corresponding parameters moved as well
5796 - outsourced propAndSolve() method in solve.c which calls domain propagation and solving of the lp and relaxation
5802 - Constraints section has new column named \#ResProp which show the number of resolve propagation calls of certain
5804 - Constraint Timing section has a new column \#ResProp which states the time spend in resolve propagation method of the
5807 - new section `Propagator Timing` which shows the time spend in different callbacks of the propagator
5808 - rearranged first two columns of Propagators section; \#Propagate and \#ResProp stating the number of call for
5809 propagation and resolve propagation; the Time column is moved into the new section Propagator Timings
5810 - Constraints section has new column named `MaxNumber` which the maximum number of active constraint of a certain
5812 - added two columns `Time-0-It` and `Calls-0-It` in the LP section which states the number of LP call and time spend for
5814 - The display of statistics for presolvers, propagators, constraints and LP solving has changed.
5819 - Reorganized filtering process of separation storage (allows adding cuts for different solutions)
5824 - child selection rules now get also applied when the relaxation value is equal to the bound changed in branching
5826 - for continuous variables, the pseudo costs update and the pscost branching rule now use the same strategies for
5832 - used SCIPallocMemoryArray() instead of SCIPallocBlockMemoryArray() which leads to fewer memory consumption in
5833 getLiftingSequence() in cons_knapsack, also improved cache use bei using an extra array instead blockmemory chunks
5834 - switched FASTMIP from 1 to 2 for CPLEX and changed default pricing rule back to steepest edge pricing instead of
5838 - considering inactive variables in undercover heuristic; limiting effort for solving covering problem
5839 - if during probing mode the LP relaxation is solved from scratch, e.g., when calling the shiftandpropagate heuristic
5840 before root node solving, then we clear the resulting LP state, since it might be a bad starting basis for the next
5842 - included LP simplifier into SoPlex LP interface, applied when solving from scratch (lpi_spx.cpp)
5843 - new presolving steps in varbound constraint handler, tightening bounds, coefficients, sides and pairwise presolving
5849 - The emphasis setting types now distinguish between plugin-type specific parameter settings (default, aggressive, fast, off),
5850 which are changed by SCIPsetHeuristics/Presolving/Separating(), and global emphasis settings (default, cpsolver, easycip,
5855 - added propagator timings `SCIP_PROPTIMING_BEFORELP`, `SCIP_PROPTIMING_DURINGLPLOOP` and `SCIP_PROPTIMING_AFTERLPLOOP` for
5856 all propagation callbacks (see propagators and constraint handlers) which lead to calling the propagation methods of a
5860 - Added parameter `separate` to conflict handler callback method SCIP_DECL_CONFLICTEXEC() that defines whether the conflict
5864 - The new constraint handler callback SCIP_DECL_CONSDELVARS() is called after variables were marked for deletion.
5865 This method is optional and only of interest if you are using SCIP as a branch-and-price framework. That means,
5866 you are generating new variables during the search. If you are not doing that just define the function pointer
5868 If this method gets implemented you should iterate over all constraints of the constraint handler and delete all
5872 - The callbacks SCIP_DECL_NLPIGETSOLUTION() and SCIP_DECL_NLPISETINITIALGUESS() got new parameters to get/set values of
5874 - The callback SCIP_DECL_NLPICOPY() now passes the block memory of the target SCIP as an additional parameter.
5877 - New parameters `isunbounded` and `isinfeasible` for presolving initialization (SCIP_DECL_CONSINITPRE(),
5878 SCIP_DECL_PRESOLINITPRE(), SCIP_DECL_PROPINITPRE()) and presolving deinitialization (SCIP_DECL_CONSEXITPRE(),
5880 constraint handlers and propagators, telling the callback whether the problem was already declared to be
5881 unbounded or infeasible. This allows to avoid expensive steps in these methods in case the problem is already
5892 are virtual functions. That means, if you are not adding the new parameters, your code will still compile, but these methods are not executed.
5893 - Propagators are now also called in during presolving, this is supported by the new callback methods SCIP_DECL_PROPINITPRE(),
5895 - The new parameters `nnewaddconss` and `naddconss` were added to the constraint handler callback method SCIP_DECL_CONSPRESOL()
5896 and the presolver callback method SCIP_DECL_PRESOLEXEC(). These parameters were also added to corresponding C++ wrapper
5900 - The callback SCIP_DECL_PROBCOPY() got a new parameter `global` to indicate whether the global problem or a local version is copied.
5904 - implemented SCIPlpiGetPrimalRay() in SoPlex interface that has become available with SoPlex version 1.5.0.2
5906 - various extensions and modifications for expressions and expression trees (too much to state here)
5907 - The result value `SCIP_NEWROUND` has been added, it allows a separator/constraint handler to start a new separation round
5909 - SCIPcalcNodeselPriority() got a new parameter `branchdir`, which defines the type of branching that was performed: upwards, downwards, or fixed.
5912 - Method SCIPincludeQuadconsUpgrade() of quadratic constraint handler got new parameter `active` to indicate whether the upgrading method is active by default.
5913 - Method SCIPseparateRelaxedKnapsack() in knapsack constraint handler got new parameter `cutoff`, which is a pointer to store whether a cutoff was found.
5916 - SCIPcreateNLPSol() now creates a `SCIP_SOL` that is linked to the solution of the current NLP relaxation
5917 - Various types and functions dealing with polynomial expressions have been renamed to use the proper terms `monomial` and
5918 `polynomial` in nonlinear expressions (nlpi/∗expr*); results in many renamings of types, structs and methods.
5919 - The methods SCIPnlpGetObjective(), SCIPnlpGetSolVals(), and SCIPnlpGetVarSolVal() have been removed, use SCIPgetNLPObjval(),
5922 - Removed methods SCIPmarkRequireNLP() and SCIPisNLPRequired(), because the NLP is now always constructed if nonlinearities
5924 - SCIPgetNLP() has been removed and NLP-methods from pub_nlp.h have been moved to scip.h, which resulted in some renamings, too.
5926 - renamed SCIPexprtreeEvalIntLocalBounds() to SCIPevalExprtreeLocalBounds() and now located in scip.h.
5927 - renamed SCIPexprtreeEvalIntGlobalBounds() to SCIPevalExprtreeGlobalBounds() and now located in scip.h.
5928 - The functions SCIPnlpiGetSolution() and SCIPnlpiSetInitialGuess() got additional arguments to get/set dual values.
5929 - The method SCIPgetNLPI() got a new parameter `nlpiproblem`, which is a pointer to store the NLP solver interface problem.
5932 - SCIPincludeProp() got additional parameters to set the timing mask of the propagator and the new callbacks and parameters
5934 - SCIPincludeConshdlr() got additional parameters to set the variable deletion callback function and the timing mask for
5940 - The method SCIPcopyProb() got a new parameter `global` to indicate whether the global problem or a local version is copied.
5943 - The methods SCIPwriteVarName(), SCIPwriteVarsList(), and SCIPwriteVarsLinearsum() got a new boolean parameter `type`
5945 - The methods SCIPparseVarName() and SCIPparseVarsList() got a new output parameter `endptr` that is filled with the position
5947 - The method SCIPwriteVarsList() got additionally a new parameter `delimiter` that defines the character which is used for delimitation.
5950 - SCIPmarkDoNotMultaggrVar()/SCIPvarMarkDoNotMultaggr() now allow to mark negated and aggregated variables
5951 - SCIPgetVarCopy() got a new parameter `success` that will be FALSE if method is called after problem creation stage and no hash map is
5953 - SCIPchgVarType() got an extra boolean parameter to store if infeasibility is recognized while upgrading a variable from continuous
5955 - SCIPdelVar() got a new parameter `deleted`, which stores whether the variable was successfully marked to be deleted.
5959 - information about the quality of the solution of an LP (currently the condition number of the basis matrix) can now be:
5960 + requested from the LPI (currently only available for CPLEX): methods SCIPlpiGetRealSolQuality() and
5961 + SCIPprintLPSolutionQuality() command display lpsolquality in interactive shell display column lpcond to show
5964 - SCIPsortRealRealIntInt() and corresponding sorting/inserting/deleting methods in pub_misc.h and necessary defines in misc.c
5965 - SCIPsortRealIntLong(), SCIPsortPtrPtrRealInt() and corresponding sorting/inserting/deleting methods in
5968 - SCIPstartSolvingTime() and SCIPstopSolvingTime() which can be used to start or stop the solving time clock
5969 - SCIPstrToRealValue() and SCIPstrCopySection() in pub_misc.h; these methods can be used to convert a string
5971 - SCIPgetBinvarRepresentatives() which gets binary variables that are equal to some given binary variables,
5972 and which are either active, fixed, or multi-aggregated, or the negated variables of active, fixed, or multi-aggregated variables
5973 - SCIPhasPrimalRay() and SCIPgetPrimalRayVal() that return whether a primal ray is stored and which value a
5977 - SCIPpropInitpre(), SCIPpropExitpre(), SCIPpropPresol() which initializes, exists and executes the presolving phase
5979 - SCIPsolGetOrigObj() in pub_sol.h which returns for a solution in the original problem space the objective value
5984 - SCIPsepastoreRemoveInefficaciousCuts() to remove non-efficious cuts from the separation storage
5988 - SCIPnodesSharePath() in pub_tree.h that determines whether two nodes are on the same leaf-root path
5989 - SCIPnodesGetCommonAncestor() in pub_tree.h that finds the common ancestor node for two given nodes
5993 - SCIPparseVarsLinearsum(), SCIPparseVarsPolynomial() and SCIPwriteVarsPolynomial() and for writing and
5997 - SCIPcreateMesshdlrPThreads() and SCIPfreeMesshdlrPThreads() for allocating and deleting necessary memory
5999 - SCIPallocClearMemoryArray() and BMSallocClearMemoryArray() for allocating cleared memory arrays in scip.h and memory.h
6002 - SCIPintervalPowerScalarInverse() to solve an equation y = x^p for given bounds on y and scalar exponent p
6004 - SCIPintervalSolveBivariateQuadExpressionAllScalar() to compute tight bounds on the solutions of a bivariate quadratic equation
6007 - SCIPcomputeVarCurrent{L,U}b{Local,Global}() to compute local or global lower or upper bounds of a
6010 - SCIPgetNegatedVars() which returns all negated variables for a given array of variables, if the negated
6012 - SCIPgetNTotalVars() that returns the total number of created vars, icluding variables that were deleted in the meantime
6013 - SCIPvarGetHashkey(), SCIPvarIsHashkeyEq(), SCIPvarGetHashkeyVal() in pub_var.h which can be used for `SCIP_HASHTABLE` of variables
6014 - SCIPvarGetNBdchgInfosLb() and SCIPvarGetNBdchgInfosUb() in pub_var.h returning the number of lower or upper bound changes on the active path
6015 - SCIPvarGetBdchgInfoLb() and SCIPvarGetBdchgInfoUb() returning the bound change information at the given position
6018 - SCIPvarMarkNotDeletable() that marks a variable to be non-deleteable (used within SCIP for forbidding
6020 - SCIPvarIsDeletable() that returns whether a variable is marked to be deletable (each variable is per default non-deletable)
6023 - SCIPgetNLPVarsNonlinearity() to get for each variable in the NLP the number of NLP rows in which this variable appears in a nonlinear way
6024 - SCIPnlrowGetDualsol(), SCIPgetNLPVarsLbDualsol(), SCIPgetNLPVarsUbDualsol() to retrieve dual values from an NLP solution
6029 - SCIPpropGetPresolPriority(), SCIPpropGetPresolTime(), SCIPpropWasPresolDelayed(), SCIPpropGetNFixedVars(),
6030 SCIPpropGetNAggrVars(), SCIPpropGetNChgVarTypes(), SCIPpropGetNChgBds(), SCIPpropGetNAddHoles(), SCIPpropGetNDelConss(),
6031 SCIPpropGetNAddConss(), SCIPpropGetNUpgdConss(), SCIPpropGetNChgCoefs(), SCIPpropGetNChgSides(), SCIPpropGetTimingmask(),
6033 - SCIPpropGetNRespropCalls() and SCIPconshdlrGetNRespropCalls() which return the number of times a
6035 - SCIPpropGetRespropTime() and SCIPconshdlrGetRespropTime() which return time spent for resolving a
6037 - SCIPcheckCumulativeCondition(), SCIPpropCumulativeCondition() and SCIPrespropCumulativeCondition() in
6038 cons_cumulative.h; these methods can be used to check, propagate, or resolve the propagation of a cumulative condition
6039 - SCIPpropagateCutoffboundVar() in prop_pseudoobj.h which can be used to propagate the cutoff bound for the given variables
6042 - added to linear constraint handler SCIPsetUpgradeConsLinear(), which (de-)activates the possibility to
6044 - SCIPconvertCutsToConss() and SCIPcopyCuts() to scip.{c,h} for copying cuts to linear constraints
6047 - SCIPconshdlrGetNAddConss() which returns the number of added constraints during presolving by a given constraint handler
6048 - SCIPpresolGetNAddConss() which returns the number of added constraints during presolving by a given presolver
6052 - New funtionalities in the interactive shell (modify current CIP instance, write NLP relaxation)
6054 - new dialog `change freetransproblem` to free transformed problem in the interactive shell before changing the problem
6066 - moved parameters for pseudoboolean constraints from opb-reader to pseudoboolean constraint handler
6067 - changed possible parameter values of `branching/pscost/strategy` from `bri` to `cdsu`: default is now `u`, i.e., to
6068 estimate the LP gain by a branching for external branching candidates (esp. continuous variables) the same way as
6070 - added possible value `d` for `constraints/soc/nlpform` to choose a convex division form for SOC constraint
6072 - renamed parameter `constraints/quadratic/linearizenlpsol` to `constraints/quadratic/linearizeheursol` and do
6074 - renamed parameter `constraints/quadratic/mincutefficacyenfo` to `constraints/quadratic/mincutefficacyenfofac` and
6076 - removed fastmip setting 2, which means the dualsolution would not be calculated but because SCIP always asks for the
6085 - `branching/delaypscostupdate` to delay the update of pseudo costs for continuous variables behind the separation round: default is TRUE
6086 - `branching/lpgainnormalize` to set the strategy how the LP gain for a continuous variable is normalized when updating the
6087 variables pseudocosts: default is to divide LP gain by reduction of variable's domain in sibling node
6088 - `branching/pscost/nchildren` and `branching/pscost/nary*` to enable and customize n-ary branching on
6090 - `conflict/bounddisjunction/continuousfrac` which defines the maximum percantage of continuous variables
6093 - `constraints/{nonlinear,quadratic,soc,abspower}/sepanlpmincont` to specify minimal required fraction
6094 of continuous variables in problem to enable linearization of convex constraints in NLP relaxation solution in root
6095 - `constraints/indicator/forcerestart` and `constraints/indicator/restartfrac` to control forced restart in cons_indicator
6096 - `constraints/indicator/generatebilinear` to generate bilinear (quadratic) constraints instead of indicator constraints
6097 - `constraints/indicator/maxconditionaltlp` to enable a quality check for the solution of the alternative LP
6098 - `constraints/indicator/removeindicators` to remove indicator constraints if corresponding vub has been added
6099 - `constraints/linear/nmincomparisons` and `constraints/linear/mingainpernmincomparisons` to influence
6101 - `constraints/pseudoboolean/decompose`, for pseudoboolean constraints to transform pseudoboolean constraints into linear- and and-constraints
6102 - `constraints/quadratic/binreforminitial` to indicate whether linear (non-varbound) constraints added due to reformulation of products with
6103 binary variables in a quadratic constraints should be initial (if the quadratic constraint is initial), default is FALSE
6104 - `constraints/quadratic/checkfactorable` to disable check for factorable quadratic functions (xAx = (ax+b)*(cx+d)) in quadratic constraints
6105 and not to use of this information in separation (generates lifted tangent inequalities according to Belotti/Miller/Namazifar if also
6107 - `constraints/quadratic/disaggregate` to split a block-separable quadratic constraint into several quadratic constraint
6108 - `constraints/quadratic/maxproprounds` and `constraints/quadratic/maxproproundspresolve` to limit the
6109 number of propagations rounds for quadratic constraints within one propagation round of SCIP solve or during SCIP presolve
6110 - `constraints/varbound/presolpairwise` that allows pairwise presolving of varbound constraints, default is TRUE
6111 - `heuristics/shiftandpropagate/onlywithoutsol` to switch whether the heuristic should be called in case a primal solution is already present
6112 - `limit/maxorigsol` which defines the size of the solution candidate store (default value is 10)
6113 - `lp/resolverestore` controlling how LP solution is restored after diving: if TRUE by resolving them,
6114 if FALSE by buffering them; if `lp/freesolvalbuffers` is TRUE, we free the buffer memory each time (FALSE by default)
6115 - `lp/clearinitialprobinglp` to clear LP state at end of probing mode, if LP was initially unsolved
6116 - `lp/resolveitermin` and `lp/resolveiterfac` to limit the number of LP iterations in resolving calls:
6117 resolveiterfac is a factor by which the average number of iterations per call is multiplied to get the limit, but the
6118 limit is at least resolveitermin; default is -1 (no limit) for resolveiterfac and 1000 for resolveitermin
6119 - `lp/resolverestore` and `lp/freesolvalbuffers` possibility to buffer and restore LP solution after diving without
6121 - `misc/improvingsols` which states whether only solutions which have a better (or equal) primal bound
6122 as the best known are checked; this is of interest if the check of a solution is expensive; default value is FALSE
6123 - `misc/resetstat` which state if the statistics should be reseted if the transformed problem is freed
6124 (in case of a benders decomposition this parameter should be set to FALSE) default value is TRUE
6125 - `nodeselection/restartdfs/countonlyleafs` in node selector restart dfs which can be used to select the counting process of processed nodes
6127 - `pricing/delvars` and `pricing/delvarsroot` that define, whether variables created at a node / the
6128 root node should be deleted when the node is solved in case they are not present in the LP anymore
6129 - `propagating/%s/maxprerounds` for all propagators which allows to change to maximal number of rounds
6131 - `propagating/%s/presoldelay` for all propagators which allows to change if the presolving call of the given propagator should be delayed
6132 - `propagating/%s/presolpriority` for all propagators which allows to change the priority of calling the given propagator
6133 - `propagating/pseudoobj/propfullinroot` for allowing to propagate all variables in the root node,
6135 - `reading/gmsreader/bigmdefault` and `reading/gmsreader/indicatorreform` reader_gms is now able to write indicator
6137 - `reading/gmsreader/signpower` to enable writing sign(x)abs(x)^n as the rarely used gams function signpower(x,n)
6145 - add expression graph data structures and methods for reformulation, domain propagation, simple convexity check on
6152 - added scripts check_gams.sh, evalcheck_gams.sh and check_gams.awk and target `testgams` in Makefile
6154 - added Makefile option `VALGRIND=true` to enable running the SCIP checks (make test) through valgrind; valgrind errors
6156 - moved *.test and *.solu files to subdirectory testset in check directory and adjusted test scripts
6164 - via `PARASCIP=true` as a `Makefile` option it is possible to compile SCIP threadsafe in DEBUG-mode, (in OPT-mode it's
6166 - the `make` parameter `PARASCIP=true` leads to threadsafe message handlers where you need to call
6167 SCIPcreateMesshdlrPThreads() and SCIPmessageSetHandler()/SCIPmessageSetDefaultHandler() and SCIPfreeMesshdlrPThreads();
6169 - new variable $(INSTALLDIR) in Makefile which define installation directory for the libraries, $(INSTALLDIR)/lib/,
6170 binary, $(INSTALLDIR)/bin and include headers, $(INSTALLDIR)/include, the default value is the empty string
6175 - to link against IPOPT, only the base directory of an Ipopt installation need to be specified now; additionally, if
6176 building with gnu compilers, the Ipopt libraries directory is stored in the SCIP binary, which should make it easier
6178 - to link against Clp, only the base directory of an Clp installation needs to be specified now
6183 - new target in Makefile `install` performs `make` and copies using the install command the include headers, binary, and
6185 - new target in Makefile `uninstall` removes libraries, binary and include headers form `INSTALLDIR`
6186 - removed target `lintfiles`, this target is now imitated by the `lint` target and a none empty variable `FILES`
6191 - fixed bug in copying if the target SCIP already is in solving stage: it might be that the copy of a variable cannot be found/created
6194 - LP solution status is now checked when checking root LP solution. Otherwise, due to different time measurements, it
6195 might happen that the LP solving was stopped due to the time limit, but SCIP did not reach the limit, yet.
6196 - fixed bug trying to tighten multiaggregated variables, which have only one active representation and this variable is already tightened
6198 - fixed issue with interactive shell in case (user) plugins are included after the default plugins
6199 - fixed bug where mutiaggregating leads to an aggregation and both variables were of implicit or integral type
6204 - fixed bug in debug.c: removed tree nodes had not been checked if they were pruned due to an incumbent solution found by a diving heuristic
6207 - fixed bug which occured when changing a bound in the solving stage when this variables got upgraded from continuous to
6208 a integer type, where the bounds of this variable were still not integral; due to that SCIPchgVarType() has changed (see above)
6209 - fixed bug in handling of lazy bounds that resulted in putting the bounds explicitly into the LP
6212 - fixed assert in sepa_clique.c which is currently not valid because implicit binary variables in cliques are ignored
6213 - fixed bug in sepa_zerohalf.c concerning inconsistent construction of solution array of variables and fixed wrong assert about variable bounds
6216 - fixed not correct merging of variable in logicor constraint handler and changed the name of the method to a common
6219 - fixed bug in cons_linear.c, when scaling a constraint maxabscoef was not set correctly, furthermore the correction of
6221 - fixed bug in cons_indicator.c trying to copy a constraint where the pointer to the linear constraint did not point to
6222 the already transformed linear constraint (, happend when SCIPcopy() is used after transforming before presolving)
6223 - fixed numerical bug in linear constraint handler: polishing of coefficients after fixing variables led to wrong
6225 - fixed bug in cons_bounddisjunction where branching on multiaggregated variables was tried while all aggregation variables are fixed
6226 - fixed bug in presolving of cons_logicor.c: adding variable implications can lead to further reductions; added call to applyFixings()
6232 - fixed bug in reader_mps.c: if a variables first occurence is in the bounds section, then the corresponding variable bound was lost
6238 - fixed bug in copying NLPI interfaces that use block-memory (NLPI copy used block memory from source SCIP)
6241 - fixed memory leak in coloring part of maximum clique algorithm (tclique_coloring.c) in a better way
6244 - fixed bug which occured when the dual farkas multipliers were not available in the lpi because the LP could only be
6246 - fixed bug in ZI round heuristic that led to infeasible shiftings for numerically slightly infeasible rows with close-to-zero coefficients
6247 - fixed numerical issue in octane heuristic: close-to-zero values for ray direction could have led to bad computations
6250 - fixed bug in propagation of indicator constraints: cannot fix slack variable to 0 if linear constraint is disabled/not active
6251 - fixed bug in cons_linear.c while sorting the eventdatas during the binary variable sorting for propagation
6252 - fixed bug and wrong assert in heur_shiftandpropagate.c when relaxing continuous variables from the problem
6262 - The interface contains several additional callback functions and parameters for plugins. Some effort may be required to compile your old
6263 projects with SCIP 2.1. For details see section `Changes between version 2.0 and 2.1` in the doxygen documentation.
6274 - the SoPlex interface now has the capability to provide a primal ray, provided it is compiled against the next SoPlex release (>= 1.5.0.2)
6275 - calculation of node priority now also works when variable's relaxation value is equal to a bound
6284 - knapsack constraints are now separated faster; SCIPsolveKnapsackExactly() now works faster and requires less memory
6285 - fasten knapsack separation by replacing SCIPallocBuffer(Array) through SCIPallocBlockMemory(Array)
6294 - fixed bug in var.c where a possible multiaggregation was resolved to an aggregation but the variables types were not
6296 - fixed bug in prop_vbounds.c w.r.t. infinity lower and upper bound of variable bound variables
6298 - fixed wrong assert in var.c (replaced `==` through SCIPsetIsEQ()), real values do not have to be exactly the same when
6300 - fixed bug in SCIPsolveIsStopped() where it could happen that TRUE was reported if a nodelimit was reached but
6302 - fixed three bugs when writing in fzn format (wrongly splitted writing buffer, wrong variables was used, floats were printed to short)
6306 - fixed bug in DINS heuristic that occured when the incumbent solution value is outside the variable's current domain
6307 - fixed behavior of LNS heuristics when the subproblem aborts: continue in optimized mode, stop in debug mode
6308 - fixed segmentation fault in heur_subnlp.c which occured if resolving the NLP with a tighter feasibility tolerance
6310 - fixed bug in heur_subnlp.c where constraints forbidding variable fixations where added if a cutoff was used in the subproblem
6311 - fixed bug in heur_subnlp.c where wrong constraints forbidding variable fixations where added in case of general integers
6316 - fixed removal of fixed linear variables from a nonlinear row: a fixed variable may have not been removed if there was
6320 - implemented SCIPlpiGetPrimalRay() in SoPlex interface that has become available with SoPlex version 1.5.0.2
6321 - fixed two bugs at nodes with unbounded LP relaxation: don't check lp rows of infinite solution; don't analyze conflict
6323 - fixed wrong assumption that an optimal LP solution in the root is optimal for the problem if there are no active
6328 - fixed bug while after restarting possible the aggregted variables were not removed in setppc constraints
6329 - fixed bug in cons_knapsack: in seldom circumstances the relaxation of a linear constraint can detect infeasibility,
6331 - fixed bug w.r.t. to pricing variables in case new initial constraints come in during the price and cut loop
6332 - fixed bug in cons_soc.c w.r.t. upgrading from quadratic constraints with finite left-hand-side
6336 - fixed bug in cons_quadratic: in seldom cases, fixed variables may have been substituted out wrongly in presolve
6337 - fixed bugs in cons_countsols.c w.r.t. collecting feasible solutions and forbidding a found solution
6338 - fixed bug in cons_linear.c: multiaggregated variables were not removed when adding during solve, leading to a failing
6353 - SCIP with SoPlex as LP solver now uses auto pricing by default (start with devex, switch to steepest
6354 edge after some iterations); this fixes timeouts on instances where devex converges very slowly
6355 - fixing lifting of new knapsack items which are negated items of already included items, this could lead to very long presolving
6356 - fixed performance issue in presolving w.r.t. to computing the number of new fixings, aggregated,
6360 - changed parameter values in clique separator in order to avoid very large branch-and-bound trees
6371 - replaced parameter `constraints/quadratic/minefficacy` by `constraints/quadratic/minefficacysepa` and `constraints/quadratic/minefficacyenfo`
6372 - added possible values `a` and `e` for `constraints/soc/nlpform` to enable automatic choice and convex exponential-sqrt
6378 - fixed bug w.r.t. looseobjval; the counting of number of loose variables in the LP data structure was incorrect in case
6380 - fixed bug in copy method of objvardata which should only create a new `SCIP_VARDATA` if the implemented subclass create
6382 - fixed bug in lp.c where in case of objlimit reached and fastmip not all variables where priced because of an incorrect
6385 - fixed bugs in sepa_clique.c concerning incorrect way to ignore implicit binary variables in cliques and non-active
6388 - fixed bug in vars.c which handled arrays with parts of original variables during resolving to active variables (using
6394 - fixed computation of node's objective value estimate when branching on continuous variables (see
6400 - fixed bug in reader_gms.c: linear coefficients for quadratic variables were not printed if they had no
6405 - fixed bugs in SCIPcopyConss: copy all active constraints (including disabled ones), *valid was not initialized to TRUE
6407 - fixed bug in cons.c which didn't allow the changing of the separation and enforcement flag of a constraint in the
6409 - corrected behavior of the copy function in cons_indicator.c: create artificial linear constraint if linear constraint
6411 - fixed bug in cons_indicator.c: presolving cannot delete linear constraints; several other minor bugfixes
6412 - fixed bugs in cons_bounddisjunction where the branching during the constraint enforcement was done incorrectly
6413 - fixed bugs in cons_orbitope.c: orbitopal fixing for the packing case had two bugs; also fixed one wrong assert
6415 - fixed bug in cons_logicor, implications on none `SCIP_VARTYPE_BINARY` variable were handled wrong
6421 - fixed bugs in SCIPnlpiOracleChgLinearCoefs() and SCIPnlpiOracleChgQuadCoefs() for the case where new coefficients where
6427 - fixed bug in heur_subnlp when initialized starting values of a fixed variable in the NLP of the subscip
6428 - fixed bug in heur_undercover: removed option globalbounds, since we are not allowed to relax bounds at a probing node
6430 - fixed numerical issue in some heuristics: nearly-integral values that are between the feasibility and the integrality
6432 - fixed bug in heur_guideddiving: best solution is now copied to avoid deletion in case of many new solutions
6433 - fixed bug in DINS heuristic, information storage for binary variables could lead to bad memory access in column
6435 - fixed bug in heur_shiftandpropagate.c: Now, the heuristic checks rows for global infeasibility at the beginning. This
6437 - fixed bug in heur_subnlp when forbidding a particular combination of integer variables in the main problem
6445 - added relaxation structure to SCIP, it represents global relaxation information independent from a specific relaxator;
6446 at the moment, it contains information about the relaxation solution stored in the variables: objective value and
6449 - SCIPsolveKnapsackExactly() got a new 12. parameter `SCIP_Bool* success` which stores if an error occured during
6451 - SCIP can now handle problems with continuous variables w.r.t. to counting (the projection to the integral variables
6454 - We do not distinguish between block memory for the original and the transformed problem anymore. The same
6456 - added new sorting method SCIPsortLongPtr(), SCIPsortDownLongPtr() and all corresponding methods
6457 - added new sorting method SCIPsortRealIntPtr(), SCIPsortDownRealIntPtr() and all corresponding methods
6461 - new undercover heuristic for MINLPs: fixes variables such as to obtain a linear or convex subproblem and solves this
6463 `SCIP_HEURTIMING_BEFOREPRESOL`. Note that solutions that are added before/during presolving, will be retransformed to
6465 - primal heuristics may now be called during presolving, using the new timing point `SCIP_HEURTIMING_DURINGPRESOLLOOP`
6468 - added new NLP heuristic (heur_subnlp.{c,h}) which solves the sub-NLP that is obtained by fixing all discrete variables
6474 - the MPS reader can now read MIQPs and MIQCPs where a quadratic objective function can be specified by a QMATRIX or
6478 - added support for bool_gt, bool_lt, bool_ge, bool_le, bool_ne, bool_not, int_times, int_minus, int_plus, int_negate,
6480 - the LP reader (.lp files) can now read MIQPs and MIQCPs and write quadratic and SOC constraints
6481 - the LP reader (.lp files) and MPS reader can now read semicontinuous variables, they are handled by creating bound
6483 - added new reader for polynomial mixed-integer programs (reader_pip.{c,h}) as used in the POLIP
6486 - SCIP can now handle indicator constraints (reading (from LP, ZIMPL), writing, solving, ...) see \ref cons_indicator.h.
6487 - the indicator constraint can now decompose the problem, i.e., not add the linear constraint to the problem if all of
6491 - cons_indicator allows to store information on other linear constraints that might help to separate cuts
6496 - The solution behavior of SCIP can be diversified by randomly permuting constraints and variables or randomly
6498 - `negated cliques` (1<=i<=n : sum (x_i) >= n-1) were added and we are using them now inside the knapsack constraint
6499 handler, the cliquepartitioning which is returned by SCIPcalcCliquePartition() contains now integer != 0, negatives ones
6501 - SCIP is now able to detect in DEBUG-mode whether a constraint or variables which will be added, was also created in
6503 - cons_knapsack is now able to detect negated cliques due to negated cliques on knapsack constraints
6505 - New constraint handlers for linking constraints (only Beta), cumulative constraints, and for breaking orbitopal symmetries
6507 SCIPcalcNegatedCliquePartition() resulting in new consdata members `negcliquepartition`, `negcliquepartitioned` and
6508 `nnegcliques`; changed SCIPcalcCliquePartition() so all cliquepartitions (calculated by SCIPcalcCliquePartition() or
6509 SCIPcalcNegatedCliquePartition(), which uses the first one) contain again not negative integers
6510 - `and`, `knapsack`, `linear`, `logic`, `or`, `quadratic`, `setpp`, `varbound`, `xor` and `clique` constraint handlers
6515 - added packing/partitioning orbitope constraint handler for symmetry handling (cons_orbitope.{c,h})
6518 - cons_quadratic can make solutions in CONSCHECK feasible for the quadratic constraints by moving values of linear
6520 - constraint handler can now register their upgrade functions for quadratic constraints to cons_quadratic (similar to
6525 - modified implementation of separation algorithms in cons_knapsack.c according to results of diploma thesis; including
6527 - uncommented decomposeProblem() in sepa_zerohalf.c (in default settings, not used anyway): was not adapted to the case
6529 - new separator rapid learning (sepa_rapidlearning.{c,h}) that produces conflicts, global bound changes, primal
6532 - added reader for 'Weigted Boolean Optimization': problems (reader_wbo.{c,h}), this reader needs the reader_opb files
6533 - new separator oddcycle (sepa_oddcycle.{c,h}) separates oddcycle inequalities using the implication/conflict graph and
6537 - Branching on externally given candidates, the \ref BRANCH 'branching rules' have a second new callback method
6538 (see type_branch.h for more details): SCIP_DECL_BRANCHEXECEXT(x) can be used to branch on external branching candidates,
6539 which can be added by a user's `relaxation handler` or `constraint handler` plugin, calling SCIPaddExternBranchCand().
6540 - added branchcands for relaxator solution, that can be added by the relaxator and used by branching rules
6541 - added relaxsol to variables, s.t. a relaxator can store a solution on which branching or separation can be done
6542 - SCIP can now branch on relaxation solutions that are either installed to the relaxsol field of the variables or added
6543 to the list of relaxation candidates, e.g., by constraint handlers. Branching on relaxation solutions is performed if
6544 the enforcement resulted in an unresolved infeasibility and there are no LP branching candidates, but before pseudo
6545 solution branching. The branching rules leastinf, mostinf, random and pscost implement the callback for branching on
6547 - SCIP can branch on continuous variables. The branching value x' must not be one of the bounds. Two children (x <= x',
6549 - the vbc visualization adds the branching type (lower or upper bound change) and the new bound to the node information
6553 - added statistic information about the first primal solution to SCIP statistic; in the statistic output a new line
6555 - now the statistic displays the number of calls of the feasibility checking method of each constraint handler and the
6561 - primal heuristics may now be called directly after the node's propagation loop, using the new timing point
6563 - following methods SCIPinferVarUbProp(), SCIPinferVarLbProp(), SCIPinferVarLbCons(), SCIPinferVarUbCons() have a new 6th
6564 parameter `SCIP_Bool force` which allows bound tightening even if the difference to the newbound is below bound
6566 - added propagator for variable lower and upper bounds (prop_vbounds.{c,h}); adjusted cons_varbound.c, var.c, and,
6580 - reworked access to pseudo solution and inference value of variables in order to reduce function calls
6581 - changed default value of parameter `nodeselection/restartdfs/selectbestfreq` to 0; this means if the current node has
6585 - SCIP with CPLEX as LP solver now uses quickstart steepest edge pricing as default instead of steepest edge pricing
6587 - improved zerohalf cut separator: more than one delta is tested for MIR cuts, better handling of dense base
6588 inequalities, faster scaling of fractional coefficients in rows (now enabled), improved parameter settings (presolving)
6604 - Enhanced user interface for callable library: manual restarts, predefined settings and many other features
6605 - Support of wbo format for weighted PBO problems, IBM's xml-solution format and pip format for polynomial mixed-integer programs
6607 - new API for 'expressions interpreter': code that evaluates expression trees, including first and second derivatives
6612 - adding and deletion of rows to the separation storage and to the LP can now be catched by events
6613 (`SCIP_EVENTTYPE_ROWADDEDSEPA`, `SCIP_EVENTTYPE_ROWDELETEDSEPA`, `SCIP_EVENTTYPE_ROWADDEDLP`, `SCIP_EVENTTYPE_ROWDELETEDLP`)
6617 - new callback SCIP_DECL_BRANCHEXECRELAX(), together with new parameter in SCIPincludeBranchrule() for branching on a
6621 - Constraint handlers have two new callback methods. One for copying the constraint handler plugins
6623 - All plugins, like \ref BRANCH `branching rules` and \ref HEUR `primal heuristics`, have a new callback method (see, e.g.,
6627 - The main problem has a new callback method (see type_prob.h for more details) SCIP_DECL_PROBCOPY(x) when copying a
6629 - Variables have a new callback method (see type_var.h for more details) SCIP_DECL_VARCOPY(x) when copying a SCIP
6633 - The callback SCIP_DECL_PROBEXITSOL(x) in the main problem has one new parameter (see type_prob.h for more details):
6641 `SCIP_EVENTTYPE_ROWCOEFCHANGED`, `SCIP_EVENTTYPE_ROWCONSTCHANGED`, `SCIP_EVENTTYPE_ROWSIDECHANGED`)
6642 - added new parameter `varcopy` to SCIPcreateVar() to add the function for copying variable data
6643 - in case of using SCIPwriteTransProblem() the currently (locally) valid problem is written this now also includes the
6647 - The predefined setting files like `settings/cuts/off.set,aggressive.set,fast.set` have been replaced by
6648 interface methods like SCIPsetHeuristics(), SCIPsetPresolving(), SCIPsetSeparating(), and SCIPsetEmphasis() in
6652 - All functions for setting user parameters of different types like SCIPparamSetBool(), SCIPparamSetChar(),
6653 SCIPparamSetInt(), SCIPparamSetLongint(), and SCIPparamSetString() in pub_paramset.h have a new parameter
6657 - NLPIs can now be used without generating a SCIP instance (i.e., do not require a SCIP pointer), code moved into src/nlpi
6658 - NLPIs can now be managed like other SCIP plugins, i.e., they can be included into the SCIP core and accessed by
6659 methods SCIPincludeNlpi(), SCIPfindNlpi(), SCIPgetNNlpis(), SCIPgetNlpis(), SCIPsetNlpiPriority()
6662 - method SCIPgetVarPseudocostCurrentRun() now returns the pseudocost value of one branching direction, scaled to a unit
6665 SCIPintervalScalprodScalars()/SCIPintervalScalprod() and redesigned them in intervalarith.c including new methods
6669 - The usage of strong branching changed. Now, SCIPstartStrongbranch() and SCIPendStrongbranch() must be
6671 - The methods SCIPgetVarPseudocost() and SCIPgetVarPseudocostCurrentRun() in \ref scip.h now return the pseudocost value of
6672 one branching direction, scaled to a unit interval. The former versions of SCIPgetVarPseudocost() and
6673 SCIPgetVarPseudocostCurrentRun() are now called SCIPgetVarPseudocostVal() and SCIPgetVarPseudocostValCurrentRun(), respectively.
6674 - The methods SCIPgetVarConflictScore() and SCIPgetVarConflictScoreCurrentRun() in \ref scip.h are now called
6676 - The methods SCIPvarGetNInferences(), SCIPvarGetNInferencesCurrentRun(), SCIPvarGetNCutoffs(), and
6677 SCIPvarGetNCutoffsCurrentRun() are now called SCIPvarGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(),
6678 SCIPvarGetCutoffSum(), and SCIPvarGetCutoffSumCurrentRun(), respectively. Furthermore, they now return
6680 - The method SCIPgetVarStrongbranch() has been replaced by two methods SCIPgetVarStrongbranchFrac() and
6684 - Every new callback method resulted in a new parameter of the include function for the corresponding plugin,
6687 `SCIP_DECL_VARCOPY` and `SCIP_DECL_PROBCOPY` led to new parameters in SCIPcreateVar() and SCIPcreateProb() in
6689 - W.r.t. to copy and the C++ wrapper classes there are two new classes. These are `ObjCloneable` and `ObjProbCloneable`.
6690 The constraint handlers and variables pricers are derived from `ObjProbCloneable` and all other plugin are derived from `ObjCloneable`.
6691 Both classes implement the function `iscloneable()` which return whether a plugin is clone able or not. Besides that each class has a
6692 function named `clone()` which differ in their signature. See objcloneable.h, objprobcloneable.h, and the TSP example for more details.
6693 - SCIPincludeHeur() and SCIPincludeSepa() in \ref scip.h, as well as scip::ObjSepa() and scip::ObjHeur(), have a new parameter:
6694 `usessubscip`: It can be used to inform SCIP that the heuristic/separator to be included uses a secondary SCIP instance.
6699 - `maxmksetcoefs`: If the mixed knapsack constraint obtained after aggregating LP rows contains more
6701 - `delta`: It can be used to obtain the scaling factor which leads to the best c-MIR cut found within
6702 the cut generation heuristic. If a `NULL` pointer is passed, the corresponding c-MIR cut will already be
6703 added to SCIP by SCIPcutGenerationHeuristicCmir(). Otherwise, the user can generate the cut and add it to SCIP
6705 - `deltavalid`: In case, the user wants to know the best scaling factor, i.e., `delta` passed is not `NULL`,
6706 `deltavalid` will be `TRUE` if the stored scaling factor `delta` will lead to a violated c-MIR cut.
6710 - added SCIPcalcNegatedCliquePartition() to scip.c to calculate a clique partition on negations of all given binary
6713 - SCIPgetRandomSubset() that draws a random subset of disjoint elements from a given set of disjoint elements
6717 - SCIPlpRecalculateObjSqrNorm() which is used when the old calculated square norm was unreliable
6721 - SCIPvarIsBinary() which checks if a variable is (implicit) binary (see var.c for more details)
6722 - SCIPvarGetHolelistOriginal(), SCIPvarGetHolelistGlobal(), SCIPvarGetHolelistLocal() to get the original, global and local holes, respectively
6723 - SCIPvarGetProbvarHole() to tranform a given domain hole to the corresponding active, fixed, or multi-aggregated variable
6731 - for heuristics SCIPheurSetFreq() to change the frequency of the heuristic (pub_heur.h, heur.c)
6735 - SCIPeventGetHoleLeft() and SCIPeventGetHoleRight() for accessing the left right interval bound of a domain hole added or removed event
6736 - SCIPholelistGetLeft() and SCIPholelistGetRight()to get the left and right interval bounds of the open hole interval
6740 - added SCIPsortPtrPtrLongIntInt(), SCIPsortLongPtrPtrIntInt() and corresponding sorting/inserting/deleting methods in
6742 - added SCIPsortLongPtrInt() and corresponding sorting/inserting/deleting methods in pub_misc.h and necessary defines in misc.c
6743 - added SCIPsortPtrPtrInt() (and various other) and corresponding sorting/inserting/deleting methods in pub_misc.h and
6745 - SCIPsortPtrBool() and corresponding sorting/inserting/deleting methods in pub_misc.h and necessary defines in misc.c
6752 - SCIPmarkDoNotUpgradeConsLinear() in cons_linear.?, which allows to forbid upgrading of linear constraints
6754 - SCIPconshdlrGetCheckTime() and SCIPconshdlrGetNCheckCalls() which returns the running time in the feasibility checking of the
6755 corresponding constraint handler respectively the number of calls of the checking method (implemented in cons.c)
6759 - SCIPcopyPlugins(), SCIPcopyParamSettings(), SCIPcopyVars(), SCIPcopyConss(), SCIPgetVarCopy() to copy
6761 - SCIPcopyProbData() and SCIPprobCopyProbData() which copies the probdata from a sourcescip to a targetscip
6764 - two new functions SCIPgetVarsStrongbranchesFrac()/SCIPgetVarsStrongbranchesInt() for computing strong branching
6766 - SCIPbranchruleGetNRelaxCalls() to get the total number of times, a particular branching rule was called on a relaxation solutions
6769 - SCIPbranchGetBranchingPoint() and SCIPgetBranchingPoint() to select branching point for a variable, e.g.,
6771 - SCIPexecRelpscostBranching() in branch_relpscost.{c,h}; this method allows of calling the reliability
6773 - SCIPinitVarBranchStats() to initialize the branching statistics (such as pseudo costs, VSIDS, inference values) of a variable
6774 - SCIPselectBranchVarPscost() in branch_pscost.{c,h}; this method selects from a given candidate array a
6780 - the Flatzinc reader can now handle the output annotations of the Flatzinc format; the method SCIPprintSolReaderFzn()
6782 - SCIPprintSolReaderFzn() which prints the best solution in Flatzinc format w.r.t. to the output annotations
6786 - SCIPwriteVarsLinearsum() which writes an array of variables and coefficients as linear sum in cip-Format to given stream
6789 - SCIPapplyRens() in \ref heur_rens.h has a new parameter `uselprows`. It can be used to switch from LP rows
6794 - SCIPsetEmphasis() which sets parameter to detect feasibility fast, handle hard LP, solves easy CIPs fast, behaves like a
6795 CP solver, set parameter for a valid counting process; the desired behavior is triggered via a parameter of the function
6799 - added SCIPsortRealRealRealPtr() and corresponding sorting/inserting/deleting methods in pub_misc.h and necessary defines in misc.c
6800 as basis for the subSCIP, setting ist to TRUE (uses LP rows) will lead to same version as before
6801 - SCIPsetHeuristics(), SCIPsetSeparating(), SCIPsetPresolving() which set the heuristics to aggressive, fast, off, or
6808 - added new dialog for setting the SCIP parameters for hardlp, optimality, easy CIP, CP like search
6809 - added new dialog for setting the SCIP parameters for feasibility problems `SCIP> set emphasis feasibility`
6810 - added new dialog for setting the SCIP parameters for counting `SCIP> set emphasis counting`
6813 - added new dialog for writing all solutions which are collected during the counting process (see cons_countsols.{c,h})
6821 - the SoPlex interface now includes equilibrium scaling on lp's solved from scratch without starting basis
6823 - the SoPlex interface has the option to restore basis only after entire strong branching phase instead of after each
6824 strong branch (off, because it mostly appears to increase strong branching time and iterations) (lpi_spx.cpp)
6829 - changed parameter `lp/fastmip` from boolean to integer, possible values are 0 (off), 1 (medium, default), 2 (full,
6834 - `branching/clamp` to set the minimal fractional distance of a branching point to a continuous variable' bounds
6836 - `constraints/indicator/addCouplingCons` that allows to add variable upper bounds if addCoupling is true
6838 - `constraints/indicator/maxCouplingValue` for the maximal value of the coefficient in a coupling inequality/constraint
6839 - `constraints/indicator/noLinconsCon` which controls whether the linear constraint is not explicitly
6841 - `constraints/knapsack/dualpresolving` to switch dualpresolving on/off inside the knapsack constraint handler, default is TRUE
6842 - `constraints/knapsack/presolpairwise` that allows pairwise presolving of knapsack constraints, default is TRUE
6843 - `constraints/knapsack/presolusehashing` that allows fast pairwise presolving of knapsack constraints, default is TRUE
6844 - `heuristics/crossover/dontwaitatroot` that allows to call crossover at root node independently from nwaitingnodes
6845 - `heuristics/rens/uselprows` that allows to switch between LP row and SCIP constraints as basis for the
6847 - `lp/rowrepswitch` telling simplex solver to switch to row representation of the basis (if possible),
6848 if number of rows divided by number of columns exceeds this value (default value infinity, i.e. never switch)
6849 - `lp/threads` to change the number of threads used to solve the LP relaxation (default is 0: automatic)
6850 - `misc/lexdualstalling` that turns on the lex dual algorithm if the separation process is stalling
6851 - `misc/usevartable` and `misc/useconstable` which turns on/off the usage of hashtables mapping from
6852 variable/constraint names to the variables/constraints; when turned off, SCIPfindVar() and SCIPfindCons() may not be
6853 used; the hashtables can be turned off for subMIPs to improve the performance, default value TRUE
6854 - `misc/usesmalltables` which results in using smaller tables for names, cliques and cuts and improves
6856 - `misc/permutationseed` to change the permutation seed value for permuting the problem after the
6858 - `reading/zplreader/usestartsol` which allows to switch ZIMPL start solutions off, default value TRUE
6859 - `vbc/dispsols` to propose if the nodes where solutions are found should be visualized in the branch and bound tree
6863 - implemented the data structure and events for global and local domain holes added and removed
6864 - new data structures and methods to handle nonlinear expressions in NLPI ({type_, struct_, pub_}expression.{h,c}):
6870 - minor changes on several evaluation scripts (new statuses: better, solved, sollimit, gaplimit) and short-mode for cmpres.awk
6871 - support for FreeBSD (32- and 64-bit) including minor changes in several scripts in the check-directory
6878 - added scripts check_*.sh, evalcheck_*.sh and check_*.awk for blis, glkp, gurobi and symphony (including targets in
6880 - added target `lintfiles` which allows to call flexelint with a list of file, for example, make lintfiles
6882 - the NLP solver interfaces and expression interpreter are located in a separate library (libnlpi.*; similar to the lpi
6883 library) and is required to link against the SCIP library also projects that use SCIP via `make/make.project` need to
6884 change their Makefile (!!!): in the $(MAINFILE) target, add $(NLPILIBFILE) behind $(LPILIBFILE) in the dependencies
6899 - fixed bug in rapid learning with wrong ordering of dual and primal bound update, primal bound is now updated inside
6902 - fixed potential bug where SCIPselectSimpleValue() returns a value slightly outside of the given bounds due to rounding
6903 errors (probably cancelation in subtraction in SCIPfindSimpleRational), now use rounding control and check result
6905 - fixed bug in var.c: SCIPvarChgLbOriginal() and SCIPvarChgUbOriginal() cannot access original bounds if the variable is
6908 - fixed bug with multiaggregations whose infimum and supremum are both infinite: in such a case multiaggregation is now
6910 - fixed numerical issue with multiaggregations which are infinite in one direction: value of multiaggregated variable
6913 - fixed bug concering the incorrect assumption that every solution computed in SCIPlpGetUnboundedSol() is integral (we
6915 - fixed bug while breaking an clique down to their impications (in SCIPcliquetableCleanup() in implics.c) where the
6916 variable was not of vartype `SCIP_VARTYPE_BINARY`, instead of adding an implication we add a variable bound
6917 - fixed bug with debugging a solution: during restarts erroneously it was claimed that the primal solution is cut off
6924 - fixed bug in scip.c w.r.t. to call of conflict analysis for LPs which reached the objective limit in case of diving
6927 - fixed bug in lp.c w.r.t. objective limit reached and the chosen comparison (fixed buglist entry 40)
6928 - fixed bug in lp.c: if in SCIPlpSolveAndEval() the LP has to be solved from scratch due to numerical troubles, reset
6930 - fixed bug in lp.c SCIProwGetObjParallelism() due to a wrong parallelism value which arised from cancellations during
6932 - fixed bug in lp.c: SCIPlpGetUnboundedSol() did not ensure that unbounded solution lies withing the bounds of the
6937 - fixed bug in solve.c where relaxation branching candidates were cleared, but the relaxation was still marked solved
6939 - fixed bugs in solve.c: even with LP solving disabled, the root LP was solved in case continous variables are
6941 - fixed bug in solve.c: make sure SCIP terminates correctly also when a user interrupt or gap limit is reached, i.e.,
6945 - fixed bug in tree.c: if an explicit branching point is given, we may not recompute a better centering point
6949 - corrected several asserts in linear and quadratic constraint handler concerning parsing of CIP format
6950 - fixed bug while deleting redundant variables, which have no influence on changing the feasibility of the linear
6951 constraints, we need to update the sides of the constraint at each step, bug number 51 in bugzilla
6952 - fixed bug in copy procedure of AND constraint handler, negated variables have been copied to their originals
6953 - fixed bug when deleting a constraint where the update was delayed and not processed yet (in cons.c)
6955 - fixed bug in cons_quadratic.c: curvature of bivariate quadratic constraints was not detected correctly
6957 - fixed bug in propagation of cons_sos2.c: the node can be cut off at more places: the previous version was not
6959 - fixed bug in cons_linear.c:applyFixings() which could lead to lhs/rhs smaller/larger than -/+infinity
6960 - fixed bug in cons_linear.c in detectRedundantConstraints() and corrected old bug fix in SCIProwCreate(): we want lhs
6961 <= rhs to be satisfied without numerical tolerances in order to avoid numerical problems in the LP solver
6966 - fixed bug in cons_knapsack.c: In SCIPseparateRelaxedKnapsack() not all variables need to be active in deeper regions
6968 - fixed bug in cons_knapsack.c and sepa_clique.c: the assumption that implications are always nonredundant and contain
6969 only active variables is not correct anymore as the corresponing vbound might be missing because of numerics
6973 - fixed bug in cutpool.c: hashkey of a row changed during the solving process (if a row is made integral after creation,
6977 - fixed bugs in sepa_zerohalf.c, e.g., handling of intscaling and substitution of variable bounds
6982 - fixed bug in SoPlex autopricing due to which autopricing had behaved like steepest edge pricing so far
6983 - fixed bug in lpi_clp.cpp: SCIPlpiChgBounds() checks if the column status exists in Clp before using it
6984 - fixed wrong assert in Cplex LPI: Due to numerical inaccuracies, a few pivots might be performed after refactorization
6985 - fixed bug concerning assert(!SCIPlpDivingObjChanged(lp)) which was caused by wrong infinity double parameters for
6991 - fixed bug in presolving of linear constraint handler: in redundancy detection, two different numerical epsilons were used
6992 - fixed bug in presolving while not applying a bound change on a variable in a single-variable constraint (e.g. x1 =
6993 0.03) in cons_linear which is too small, that lead to another bound change in presol_trivial which is not allowed, so
6995 - fixed SCIPvarIsTransformedOrigvar() in var.c (variables generated by presol_inttobinary returned false)
6996 - fixed bug w.r.t. an assert in presol_inttobinary.c; it was assumed that the aggregation which is performed there will
6998 - fixed bug in presol_trivial.c trying to fix continuous variables, now uses a less stricter comparison to fix variables
6999 - fixed bug in cons_bounddisjunction.c: presolve may have tried to tighten bounds on a multiaggregated variable (now
7008 - fixed buglist entry 35, which was caused by a wrong read in correction when the reading buffer was full in
7016 - fixed bugs do to `HEUR_TIMING SCIP_HEURTIMING_AFTERPROPLOOP` which appeared during repropagation
7017 - fixed bug in trivial heuristic: the locking solution might have falsely initialized some values to zero
7018 - fixed bug in heur_oneopt.c w.r.t. to SCIPtrySol(); it is necessary that the bound of the solution is check otherwise,
7024 - fixed bug in sub-MIP heuristics with parameter change if some default plugins are not included
7025 - fixed bug in trivial heuristic with bounds that are greater than the heuristic's infinity value
7043 - adjusted hard memory limit to (soft memory limit)*1.1 + 100mb in check.sh, checkcount.sh, check_cplex.sh,
7046 - now it's possible to write strings with more than `SCIP_MAXSTRLEN` amount of characters in all message.c functions
7048 - added new preprocessing step (mergeMultiples) in cons_setppc.c where equal variables are merged
7049 - Black-box lexicographic dual simplex algorithm; can now run lexicographical dual algorithm (parameter `lp/lexdualalgo`)
7052 - SCIP now has `lazy bounds`, which are useful for column generation: see @ref PRICER_REMARKS `pricer remarks` for an explanation.
7053 Each variable has now two additional `SCIP_Real` parameter which define a lazy lower and upper bound; lazy means that
7054 there exists constraints which implies these (lazy) bounds. If the lazy lower or upper bound is greater or less than
7055 the local lower or upper bound, respectively, then the corresponding bound is not put into the LP. The bounds are set
7056 to minus and plus infinity per default which yields the same behavior as before. With the methods SCIPchgVarLbLazy()
7057 and SCIPchgVarUbLazy() these bounds can be set. This is of interest if SCIP gets used as a branch-and-price
7058 framework. Attention! The lazy bounds need to be valid for each feasible LP solution. If the objective function
7059 implies bounds on the variables for each optimal LP solution, but these bounds may be violated for arbitrary LP
7061 - interval arithmetic functions can work with unbounded intervals added new functions to allow more operations on
7065 - extended hybrid relpscost branching rule by usage of the average length of conflicts a variable appears in
7066 - `early branching`-functionality added: in a branch-and-price code, the user can stop pricing at a node although there
7067 may exist variables with negative reduced costs. In this case, the lp-lowerbound will not be used. The pricer has,
7071 - Copy constructors and i/o functionality for constraints: all linear type constraint handlers are able to copy
7073 - the linear constraint handler is able to parse a string in CIP format and create a corresponding linear constraint
7085 - added heuristic that performs a local search in an NLP (takes only linear and quadratic constraints into account so far)
7087 - new trivial heuristic: tries zero solution, lower and upper bound solution and some variable lock based fixing
7088 - added new timing point, `SCIP_HEURTIMING_DURINGPRICINGLOOP`, for calling heuristics; If this timing point is used the
7089 corresponding heuristics is called during the pricing loop of variables; we also added this timing point to
7090 heur_simplerounding.{h,c} which has the effect that a LP solution which satisfies all integrality conditions during
7094 - added first version of an interface to NLP solvers (type_nlpi.h, struct_nlpi.h, nlpi.h, nlpi.c, nlpi_oracle.h, nlpi_oracle.c)
7095 - Preliminary support of non-convex MIQCPs: Constraint handler for quadratic constraints, NLP heuristic and
7108 - in sepa_cmir.c, if mksetcoefs is invalid for delta=1 no other values of delta are tested anymore
7110 - removed changing of update rule to `ETA` from standard soplex update `Forrest-Tomlin` in lpi_spx.cpp
7114 - improved performance in tightenWeightsLift() and SCIPseparateRelaxedKnapsack() in cons_knapsack.c, due to now
7115 sparse-cleaning `global` arrays instead of using BMSclearMemory... functions for cleaning local arrays each time
7134 + A `result` pointer determines whether the pricer guarantees that there exist no more variables. This allows for early branching.
7137 - The \ref CONS `constraint handlers` have two new callback methods (see type_cons.h for more details):
7143 - SCIPcalcMIR() in scip.h has two new parameter `mksetcoefsvalid` and `sol`. The parameter `mksetcoefsvalid` stores
7144 whether the coefficients of the mixed knapsack set (`mksetcoefs`) computed in SCIPlpCalcMIR() are valid. If the mixed
7145 knapsack constraint obtained after aggregating LP rows is empty or contains too many nonzero elements the generation of the
7146 c-MIR cut is aborted in SCIPlpCalcMIR() and `mksetcoefs` is not valid. The input parameter `sol` can be used to separate a
7149 - some interval arithmetic method take an additional argument to denote which value stands for infinity in an interval
7152 - SCIPgetVarClosestVlb() and SCIPgetVarClosestVub() in scip.h have a new parameter `sol`. It can be used to obtain the closest
7154 - new parameters `lowerbound` and `result` in type_pricer.h: lowerbound can save a lower bound computed by the pricer,
7155 result indicates whether the pricer guarantees that there exist no more variables if no variable was found
7160 - new methods in pub_misc.h/misc.c to access hash map lists and elements of a hash map list and to clear all entries in a hash map
7170 - detectRedundantConstraints() in cons_xor.c and necessary hash-functions for fast pairwise presolving
7175 - SCIPisLPRelax() and SCIPisRootLPRelax() in scip.c and scip.h returning whether the current/root LP is a
7177 - SCIPlpSetIsRelax() and SCIPlpSetRootLPIsRelax() in lp.c and lp.h to set the information, whether the lp is a valid relaxation;
7178 this information is per default set to true and constraint be used. The aggregated version has only 2 linear constraints the
7182 - extended the sort template functions in sorttpl.c with a `five` array; now it possible to used this template to sort
7185 - added SCIPsortPtrPtrLongInt() and corresponding sorting/inserting/deleting methods in pub_misc.h and necessary defines
7189 - SCIPprintNodeRootPath() in scip.h This method prints all branching decisions on variables from the root to the given node
7190 - SCIPnodeGetParentBranchings(), SCIPnodeGetAncestorBranchings(), SCIPnodeGetAncestorBranchingPath(); These methods return
7191 the set of variable branchings that were performed in the parent node / all ancestor nodes to create a given node
7192 - SCIPchgVarLbLazy() and SCIPchgVarUbLazy() in scip.h; These methods can be used to change the lazy lower or
7193 upper bound of a variable; This might has the consequences that the bounds of the corresponding variable is not in
7194 LP. This is the case if the lazy lower or upper bound is greater or less than the local lower or upper bound, respectively
7195 - SCIPvarGetLbLazy() and SCIPvarGetUbLazy() in pub_var.h; These methods return the lazy lower or upper bound, respectively
7196 - SCIPvarCompareActiveAndNegated() and SCIPvarCompActiveAndNegated() in pub_var.h for comparing variables
7199 - SCIPgetNFixedonesSetppc() and SCIPgetNFixedzerosSetppc() in cons_setppc.{h,c}; these methods returns
7201 - SCIPgetVarConflictlengthScore(), SCIPgetVarAvgConflictlength(), SCIPgetAvgConflictlengthScore() and their pendants for the current run
7202 - added function SCIPvarsGetProbvarBinary() in pub_var.h; gets active, fixed, or multi-aggregated problem variables of
7214 - adjusted interface to ZIMPL (reader_zpl.{c,h} for ZIMPL version 2.10; this interface should also work with older ZIMPL versions
7216 - added first version of an interface to Ipopt (only QCP, no deletion of vars/cons allowed; nlpi_ipopt.(h|c))
7233 - `constraints/and/presolusehashing` in cons_and.c, should pairwise presolving use hashing?, default TRUE
7234 - `constraints/countsols/sollimit` in cons_countsols.c, counting stops, if the given number of solutions were found (-1: no limit)
7235 - `constraints/xor/presolusehashing` in cons_xor.c, should pairwise presolving use hashing?, default TRUE
7250 - fixed bug with enforcement of pseudo solutions: if pseudo solution is choosen because LP hit a limit, it has to be
7252 - fixed potential bug in coloring example: SCIPcreateChild() is now given an estimate in terms of the transformed
7253 problem by SCIPgetLocalTransEstimate(), no longer the estimated original problem value. Also clarified this in the
7255 - fixed compiler warning `warning: dereferencing type-punned pointer will break strict-aliasing rules` which resuts in
7259 - fixed bug with objective limit in lp.c: previously the infinity value of SCIP was used as default - now the value of
7263 - fixed bug with incorrect pseudo activities when objective of a variable switches sign in linear constraint handler
7265 - fixed `GGT-Kaibel-Bug` in var.c, prop_pseudoobj.c and cons_varbound.c that occured while computing new values using
7270 - fixed bug in solve.c: in case lowerbound >= upperbound, SCIPsolveIsStopped() returned `SCIP_STATUS_GAPLIMIT`
7273 - fixed bug in SCIPsolveNode() concerning the case that the time limit was hit while solving the LP relaxation of a
7280 - fixed bug in SCIPgetSolVals() similar to SCIPgetSolVal(): try to get original variables of transformed ones if the
7285 - fixed bug in SCIPlpSolveAndEval(): if fastmip and pricers enabled and objlimit was reached but CPLEX did not perform
7286 the final pivot step in order to exceed the objlimit, do one additional simplex step with pricing strategy steepest
7287 edge, if this doesn't suffice, turn off fastmip temporarily and solve again. Also consider solstat of the new
7294 - fixed bug with exponential complexity for reallocating memory in SCIPvarGetActiveRepresentatives() in var.c
7295 - fixed casting of void* pointers in memory.h for C++, adjusted the same for C in memory.h and due to that adjusted all
7296 header files(set whole files in extern `C`) and cpp-files(removed unnecessary extern `C` lines)
7297 - removed memory leak in connection with freeing branch and bound nodes: focusnode was not freed if both children could
7301 - corrected bug in reader_lp.c: earlier read bounds were thrown away (implementation was not conforming to standard)
7302 - fixed bug in reader_lp.c with respect to constraint and variable names which start with two or more dots `..`
7308 - fixed bug in case of reading an objective function in opb format with multiple occurrences of the same variable
7309 - fixed bug in case of reading an objective function in lp format with multiple occurrences of the same variable
7310 - fixed a wrong fix of a reading bug, which was in reality a writing bug in MPS format; integer variables in mps format
7311 without bounds are binary variables, if the bound of an integer variable is infinity you have to write this bound
7314 - fixed bug in sepa_cmir.c, sepa_mcf.c and sepa_flowcover.c: sol different to LP solution is now separated
7315 - corrected two asserts in sepa_redcost.c (reduced costs can be negative for fixed variables: qsopt uses this)
7316 - fixed bug in sepa_zerohalf.c; replacement of own sorting functions by template functions was incorrect
7317 - fixed bug in var.c, cons_knapsack.c and sepa_flowcover.c: variable bounds corresponding to implication are not
7318 generated if coefficient is large, variable bounds with large coefficients are ignored for construction of knapsack
7323 - fixed bug in sepa_cmir.c concerning uninitialized mksetcoefs (if MIR-cut generation is aborted because the aggregated
7326 - fixed bug in sepa_impliedbounds.c and sepa_intobj.c: if separating a sol, this sol is now also given to SCIPaddCut()
7332 - fixed exponential calculation of solution values during check of original solution, therefore changed
7333 SCIPvarGetActiveRepresentatives() in var.c and flattened all multiaggregated vars at the end of presolving in
7337 - fixed bug in SCIPconsSetInitial() that occurred in pairwise presolving: add or delete constraint in initconss when
7344 - fixed bug in cons_countsols.c we respect to warning message that `The current parameter setting might cause ...`
7347 - fixed wrong assert in cons_knapsack.c and handled a special this case in simplifyInequalities()
7352 - fixed bug in cons_knapsack.c caused by having a multi-aggregated variable in a knapsack constraint, now applyFixing is
7357 - fixed bug in cons_linear.c: do not select variable as slack variable for multiaggregation in convertLongEquality if it
7359 - fixed bug in cons_linear.c: also do not multiaggregate variables in dual preproccessing if it has been marked as
7361 - fixed bug in cons_linear.c: slight decrease of epsilon in order to make sure that scaled coefficients are really
7363 - fixed bug in chgRhs() and chgLhs() of cons_linear.c: after changing lhs or rhs of a constraints lhs <= rhs has to be
7368 - fixed bug in oneopt heuritic with start solution which has become infeasible due to global bound changes
7372 - fixed potential interface bug: time limits of 0.0 are not anymore passed to the LP solver, which may have caused
7383 - SCIP can now count integer feasible solutions for IPs/CIPs (without continuous variables) (see SCIPcount())
7385 - struct `SCIP_Stat` has now two additional variables: `nprobboundchgs`, `nprobholechgs`; these are used to fix the domain
7386 reduction counts in sepa.c, cons.c, branch.c and prop.c; this means, that now the domain reduction counts are reduced
7395 - Extended the capabilities of SCIP to output problems in different formats (LP, MPS, CIP, ...). You can output the original and
7397 - The feasibility test for solutions at the end of the execution now outputs more useful information.
7402 - new presolver boundshift (presol_boundshift.{c,h}); this presolver is currently turned off with default parameter setting
7405 - linear constraint handler now detects continuous variables that are implicit integer in dual presolve
7406 - replaced some old sorting methods in cons_knapsack.c, heur_octane.c, sepa_flowcover.c and presol_probing.c through
7426 - added FASTMIP settings in lpi_clp.cpp that try to improve the performance of Clp as much as possible
7432 - adjusted all predefined settings files, e.g., `settings/cuts/fast.set`, such that they are consistent wrt removed,
7445 - The preprocessing has been revised. It now applies bound computations in a numerically more stable way. The pairwise
7448 - fixed performance bug with large number of unnamed constraints that will kill the name hash table (now, unnamed
7453 - improved performance of SCIPvarGetLPSol(), which affects many parts of the code, in particular Gomory and strong CG cuts
7454 - do not calculate MIR and StrongCG cut aggregations if number of nonzeros in aggregated row is too large
7457 - improved pairwise presolving in cons_linear.c: reduced cache misses, reduced number of SCIPisStopped() calls and
7459 - tighter memory limits in knapsack presolve lifting procedure to avoid overly expensive presolving
7460 - included detecting of redundant constraints with hash table in advance in cons_logicor.c and limit other pairwise
7462 - included detecting of redundant constraints with hash table in advance in cons_setppc.c and limit other pairwise
7469 - Added an example for the graph coloring problem in `examples/Coloring`, showing the usage of column generation.
7478 - New callback method SCIP_DECL_READERWRITE(x) in type_reader.h; this method is called to write a problem to file
7479 stream in the format the reader stands for; useful for writing the transformed problem in LP or MPS format. Hence,
7481 - The callback \ref CONSCHECK (SCIP_DECL_CONSCHECK()) in the constraint handlers now has a new parameter `printreason` that tells
7482 a constraint handler to output the reason for a possible infeasibility of the solution to be checked using
7483 SCIPinfoMessage(). Have a look at one of the constraint handlers implemented in SCIP to see how it works. This
7484 methodology makes it possible to output the reason of a violation in human readable form, for instance, for the check
7485 at the end of a SCIP run, where the obtained best solution is checked against the original formulation.\n This change
7486 often has little effect on C-implementations, since this parameter can be safely ignored with respect to the
7487 correctness of the code. The corresponding C++ method scip::ObjConshdlr::scip_check(), however, has to be extended
7489 - added new LPI pricing option `SCIP_PRICING_LPIDEFAULT`, such that every LP interface can set the default pricing
7490 strategy on its own (`auto` is not useful for this, because for CPLEX, for example, SCIP seems to be worse with `auto`
7496 - SCIPgetVarRedcost() now returns 0 for variables that have been aggregated out or removed in presolving.
7503 - new parameters `extension` in SCIPreadProb() defining a desired file format or `NULL` if file extension should be use
7504 - New parameters `extension` and `genericnames` in SCIPprintTransProblem(), SCIPprintOrigProblem(),
7505 SCIPwriteOrigProblem(), and SCIPwriteTransProblem() defining the requested format or `NULL` for default CIP format
7507 - SCIPprintTransProblem(scip, NULL, NULL, TRUE) displays the transformed problem in CIP format with
7509 - SCIPprintOrigProblem(scip, NULL, `lp`, FALSE) displays the original problem in LP format with
7515 - replaced sorting methods SCIPbsort...() by faster (quicksort/shellsort) algorithms SCIPsort...() Note that the order
7519 - SCIPcheckSolOrig() is restructured. The last two parameters have changed. They are now bools indicating
7520 whether the reason for the violation should be printed to the standard output and whether all violations should be
7521 printed. This reflects the changes in the constraint handlers above, which allow the automation of the feasibility
7523 - the parameter list of the method SCIPcheckCons() (scip.h) has changed; the new advatage is, that SCIP can print the
7525 - the parameter list of the method scip_check() (objconshdlr.h) has an additional parameter `printreason` see for
7530 - LPI now has a function SCIPlpiGetSolverPointer() that returns a solver dependent pointer. This can be used to directly
7531 access the LP solver. This should, of course, only be used by people that know exactly what they are doing.
7532 - added capabilities to avoid multi-aggregation of a single variable by setting a corresponding flag (SCIPmarkDoNotMultaggrVar())
7542 - SCIPgetCutoffdepth() which returns the depth of first node in active path that is marked being cutoff
7546 - SCIPgetVarFarkasCoef() and SCIPgetColFarkasCoef() to get the farkas coefficient of a variable (analogon of
7547 - SCIPgetRepropdepth() to get the depth of first node in active path that has to be propagated again
7548 - SCIPmajorVersion(), SCIPminorVersion() and SCIPtechVersion() returning the corresponding version
7551 - SCIPprintSysError() which encapsulates the strerror_r calls, the NO_STRERROR_R flag switches between the use
7554 - SCIPreaderCanRead() and SCIPreaderCanWrite() in pub_reader.h, these return TRUE if the corresponding
7556 - SCIPwriteOrigProblem(), e.g., SCIPwriteOrigProblem(scip, `orig.lp`, NULL, FALSE) prints the original
7558 - SCIPwriteTransProblem(), e.g., SCIPwriteTransProblem(scip, NULL, NULL, FALSE) displays the transformed problem in CIP format
7568 SCIPsortedvecDelPosDown...(), SCIPsortedvecFind...() and SCIPsortedvecFindDown...() to manage sorted vectors or
7577 - Many changes in the SoPlex interface: The current one is tailored towards SoPlex 1.4 (aka 1.3.3). All SoPlex functions
7578 (where applicable) should now have an exception handling. The Bugfix for adding columns has been moved to SoPlex. One
7583 - changed default frequency parameters for RINS, Local Branching, Crossover and Mutation heuristic This should not
7591 - `constraints/and/linearize` to enable linearization of all <and> constraints (in presolving),
7592 - `constraints/and/initiallp` to turn on, off, or `auto` that the LP relaxation of the AND constraints are in the initial LP;
7595 - `constraints/indicator/branchIndicators` to decide whether it is branched on indicator constraints in enforcing
7596 - `constraints/indicator/genLogicor` to decide whether logicor constraints instead of cuts are generated
7597 - `constraints/indicator/sepaAlternativeLP` to decide whether separation takes place using the alternative LP
7598 - `constraints/linear/aggregatevariables` to search for aggregations in equations in the presolving step
7599 - `constraints/linear/dualpresolving` to disable dual presolving step in the linear constraint handler; default value is TRUE
7600 - `constraints/linear/simplifyinequalities` to enable a simplification step for inequalities; default value is set to FALSE = disabled
7608 - `constraints/linear/presolusehashing` to use hashing comparison in cons_linear.c; default value is TRUE
7609 - `constraints/logicor/presolusehashing` to use hashing comparison in cons_logicor.c; default value is TRUE
7610 - `constraints/setppc/presolusehashing` to use hashing comparison in cons_setppc.c; default value is TRUE
7611 - `constraints/SOS1/branchNonzeros` to decide whether SOS1 constraint with largest number of nonzero variables is picked for branching
7617 - `separating/orthofunc` to choose function for scalar product computation in orthogonality test
7622 - updated mmm.{test,solu}, mittelmann.{test,solu}, miplib3.solu, miplib.solu, shortmiplib.test and added
7635 - added possibility to compile shared libraries in makefiles (and added `make/make.linux.x86.gnu.opt-shared`)
7636 - replaced <string> by <cstring> in all C++-interfaces to get `strlen()` included (gcc-4.3 gave an error)
7642 - new flag GMP with values (`auto`, `true and `false`); in case of `auto` the library gmp is linked if ZIMPL is
7647 - modified makefiles to accept ZIMPLOPT and LPSOPT flags (with values `opt` or `dbg` and default being `opt`), and
7655 - added checks whether a plugin (handler) has already been included to avoid later complications e.g. with parameters.
7657 - forced full propagation in presolving -> this fixes a bug that implied that variable locks became inconsistent
7658 - replaced calls to perror() by SCIP error message using strerror(errno); this avoids problems with the error output
7661 - fixed bug with errors occurring in sub-MIPs. Search is only aborted in dbg mode, in opt mode a warning will be printed
7664 - fixed bug in SCIPtightenVarLb/Ub() in scip.c concering forcing a bound change (bound improvement is checked now)
7666 - fixed usage of command test for string comparison in check-scripts (now compatible with ubuntu)
7669 - fixed bug in SCIPvarGetOrigvarSum() concerning the corner case the a negated variable has no parent variable in
7674 - fixed bug in aggregateActiveIntVars(): If a < 0, multiply a*x + b*y == c by -1 (algo for finding initial solution does
7676 - avoiding aggregation that removes information about implicitly integer variables (removes bug)
7678 - corrected bug in var.c occuring during applying boundchanges in varUpdateAggregationBounds method
7681 - fixed bug that a missing CONSTRANS in constraint handler leads to `NULL` pointer as constraint data for the copied
7682 constraints instead of pointer copies of the consdata (as explained in the constraint handler `HowTo`)
7683 - fixed bugs in second part of consdataTightenCoefs(): Removed min/maxleftactisinfinity (definition was not correct),
7684 fixed calculation of min/maxleftactivity and removed asserts concerning whether all redundant vars were deleted (led
7686 - fixed typo in documentation: default value for `dynamic` parameter is FALSE for all constraint handlers!
7690 - fixed bug in applyFixings() in cons_varbound.c concerning tightening the bound of a variable left in a redundant
7695 - removed bug for values greater than (-)infinity, heur_shifting.c, heur_intshifting.c, heur_rounding.c, heur_oneopt.c
7696 - fixed bug with errors occurring in heuristic LPs. In opt mode a warning will be printed, abort in dbg mode
7699 - fixed bug with wrong update of activities in linear constraints after global upper bound changes
7700 - fixed bug in preprocessConstraintPairs() in cons_linear.c concerning updating the flags of the constraint that stayes
7702 - fixed bug in cons_linear.c caused by comparing two infinity values during checking of using variable as slackvariable
7706 - removed BOUNDSCALETOL adjustment in cons_linear.c. This fixes bug with slightly infeasible variable fixings in
7708 - removed `epsilontic` bug in cons_linear.c due to adjusting left/right hand side in applyfixing
7709 - fixed bug with multi-aggregated variables in cons_logicor: instead of fixing them, a linear constraint will be created
7710 - corrected bug in cons_linear.c:applyFixings() [if variable was fixed to infinity the rhs/lhs were wrong]
7711 - fixed bugs in pairwise presolving of cons_linear.c concerning deletion of upgraded constraints and inconsistent update
7713 - fixed false assert and corrected a bug caused by deleting a constraint on `firstchanged` position in pairwise
7717 - fixed handling of unbounded variables with 0 objective in SCIPlpGetModifiedPseudo[Proved]Objval() (lp.c)
7720 - fixed bug in SCIPlpSolveAndEval(): added extra simplex step if objlimit reached, fastmip and pricers enabled in order
7723 - fixed bug in SCIPlpSolveAndEval(): allow more than one extra simplex step for getting an objlimit exceeding solution
7727 - corrected invalid memory access in tcliqueIsEdge: added check whether node1 has no neighbors (tclique_graph.c)
7730 - tried to fix memory leak in dialog.c occuring from different versions of the readline/history libraries
7734 - fixed numerical issue in linear constraint propagation: need slightly more aggressive tightening such that probing
7737 - avoid fixing variables to infinity in order to get rid of numerical inconsistencies in the original model
7741 - fixed bug with writing the MIP relaxation to a file concerning the objective function; in case the original objective
7742 function is requested, the transformed objective function gets re-transformed (scaling, offset)
7743 - fixed bug with wrong objective sense output for transformed problem. The transformed problem is always a minimization
7754 - fixed bug with multi-aggregated variables which are de facto aggregated or fixed after flattening the aggregation tree
7755 - fixed bug with bound changes of variables in modifiable constraints during full dual presolving of linear conshdlr
7756 - increased compiler compatibility for C++ wrapper classed by adding extern `C` in obj*.cpp files and changing strlen
7762 - corrected imlementation of SCIPlpiGetBasisInd() in lpi_clp.cpp (this fixes the bug that almost no Gomory cuts are
7766 - fixed bugs in sorttpl.c: fixed wrong arraysize in shellsort; in case an has at most one element, then no sorting is
7769 - fixed obvious bug in linear constraint data sorting. Most part of the code assumed pure index sorting, but in fact, it
7784 - new C templates disp_xxx.h and dialog_xxx.h and C++ wrapper classes objdisp.h and objdialog.h, respectively
7785 - modified reader `sol`, st. files which where created via typing the order of commands `set log *.sol`,
7800 - the documentation has now a TAB Modules; there you can find list of available constraint handles, presolvers,
7805 - presolving, cut separation, primal heuristics and strong branching now better respect time limit
7823 - greatly improved performance of LP file reader by replacing string copies with pointer copies
7824 - removed performance bottleneck with non-bfs based node selectors and large leaf queues at the cost of a small memory
7825 overhead (2 ints per node in the leaf queue); this improves performance quite a bit on instances that take a large
7827 - improved performance of linear constraint propagation by delaying some floor/ceil calculations
7845 - SCIPwrite{LP,MIP} may no longer be called after solving, since the LP data structures may not be valid
7847 This does not influence the performance of SCIP, but the position of the parameter in the settings menu.
7849 You should add the corresponding flag to the SCIP<datatype>Param() calls in your own source code.
7852 - modified `SCIP_SUBVERSION` to be a number instead of a string (to be able to use `SCIP_SUBVERSION >= ...`)
7856 - new parameter `estimate` for SCIPcreateChild() giving an estimate for value of best feasible solution in the subtree to
7864 - SCIPgetVarStrongbranch() now also returns lperror == TRUE if the solving process should be stopped, e.g., because of a
7868 - replaced methods SCIPvarGetClosestVlb() and SCIPvarGetClosestVub() from pub_var.h by new methods
7884 SCIPboundchgGetBoundtype(), SCIPboundchgIsRedundant(), SCIPdomchgGetNBoundchgs(), SCIPdomchgGetBoundchg()
7889 - SCIPgetRootNode() (in combination with SCIPcutoffNode(), this allows the immediate finishing of the optimization)
7898 - parameters are now separated into basic and advanced, the latter ones have been moved to extra submenus
7899 - priority parameters are now restricted to be in [INT_MIN/4,INT_MAX/4] to avoid overflow errors in comparison methods
7900 - increased priority of `estimate` node selector, such that this is the new default node selector
7901 - changed meaning of parameter setting `nodeselection/childsel = l`; old meaning is now called `r`
7914 - changed default value of `numerics/boundstreps` to 0.05 in order to avoid very long propagation loops on continuous variables
7925 - `heuristics/∗diving/backtrack` to activate 1-level backtracking for most of the diving heuristics
7938 - added version numbers to library files (There will be a softlink generated in the lib/ and bin/ directories without
7941 - removed the `.static` extension associated to the LINK variable from the Makefile system (If you want to build
7942 makefiles for shared library generation, use the OPT variable. For example, you could create a makefile
7948 - made `ZIMPL=true` the default; if you do not want to include ZIMPL support, call `make ZIMPL=false`
7958 - SCIPgetAvgPseudocostCount() and SCIPgetAvgPseudocostCountCurrentRun() now return the average over all integer
7959 variables instead of all variables, since pseudo costs are not recorded for continuous variables
7966 - fixed bug in ZIMPL file reader for multiple occurrences of a single variable in the objective function
7967 - fixed bug with deleting variables from the transformed problem that are contained in the implication graph
7968 - fixed bug in root reduced cost fixing propagator that leads to an empty domain for a variable as a proof of optimality
7976 - fixed wrong status code in presence of user objective limit and a feasible solution that is not better than the limit
7993 - significantly improved performance of c-MIR and Gomory cuts by caching closest VLB and VUB info
8001 - fixed potential bugs in SCIPpriceLoop() and priceAndCutLoop(), st. now all LP solution stati are handled appropriately
8007 - fixed bug in variable bound constraint handler with changing bounds on multi-aggregated variables
8008 - fixed bug in linear constraint handler: only tight cuts are transformed into linear constraints after restart
8009 - fixed bug in bounddisjunction constraint handler with propagation of multi-aggregated variables
8010 - fixed bug with numerics in linear constraint handler due to non-representable `BOUNDSCALETOL`
8011 - fixed bug with almost integral multi-aggregation in dual presolve of linear constraint handler
8015 - fixed bug in intshifting and oneopt heuristic with variables which are currently not in the LP
8016 - fixed bug with primal heuristics reducing the cutoff bound such that the current node is cut off
8017 - fixed bug in oneopt heuristic: must not be called on pseudo nodes if continuous variables are present
8027 - the EXITSOL callback of the plugins is now called before the LP and the global cut pool are freed
8031 - primal heuristics that run before the node is solved now know already whether the LP will be solved at the current
8036 - in the root node of the very first run, heuristics with timing `AFTERNODELPNODE`, `AFTERLPPLUNGE`, `AFTERPSEUDONODE`, and
8037 `AFTERPSEUDOPLUNGE` are now called before the enforcement of the constraint handlers, in particular before the branching
8039 - if a heuristic found a better solution after the LP loop (and in particular the `AFTERNODE` heuristics in the root node
8040 of the very first run, see above), domain propagation and LP solving is triggered again; this allows for additional
8046 - modified guided diving heuristic such that it equals the original version of the heuristic (i.e., round in direction of the
8051 - c-MIR cuts try now to scale the cut to integral values; however, cuts are still generated if this fails
8052 - hard-coded relative objective gain to consider a separation loop to be stalling is now changed from 1e-3 to 1e-4,
8054 - modified c-MIR cut separator to more closely resemble the original version of Marchand and Wolsey
8068 - replaced callback parameter `inlploop` and `inplunging` by `heurtiming` in `SCIP_DECL_HEUREXEC`
8069 - slightly changed the meaning of the result codes returned by external relaxators: if they modify the LP or tighten
8070 bounds of variables, they are not automatically be called again (it is assumed that they already made use of these
8071 changes). They are only called again, if they returned `SCIP_SUSPENDED` or if some other plugin modified the LP.
8077 - new calls SCIPgetLPBInvCol() and SCIPgetLPBInvACol() to access the basis inverse and simplex tableau columnwise
8079 - new parameters `fixintegralrhs`, `maxfrac`, `mksetcoefs` and `fracnotinrange` in SCIPcalcMIR()
8080 - modified SCIPfixVar() such that in problem creation stage it will change the bounds as requested even if the fixing
8082 - replaced parameters `pseudonodes`, `duringplunging`, `duringlploop` and `afternode` by `timingmask` in
8083 SCIPincludeHeur() and constructor of ObjHeur() class use the following table to translate old settings into the new
8087 |-------------|----------------|--------------|-----------|---------------------------------------------------------------|
8100 | FALSE | FALSE | TRUE | TRUE | SCIP_HEURTIMING_AFTERLPPLUNGE \| SCIP_HEURTIMING_DURINGLPLOOP |
8106 - renamed all occurences of `removeable` by the correct English word `removable`: SCIPconsIsRemovable(),
8108 - new parameter `sticktonode` in SCIPcreateCons(), SCIPcreateConsAnd(), SCIPcreateConsBounddisjunction(),
8110 SCIPcreateConsVarbound(), SCIPcreateConsXor(), SCIPcreateConsSetpart(), SCIPcreateConsSetpack(),
8111 SCIPcreateConsSetcover(): usually, you should set this to FALSE; if you want to add constraints as node markers with
8112 node data and, e.g., use the `activate` and `deactivate` callbacks to get informed about the activation and
8113 deactivation of the node, you should set this flag to TRUE in order to make sure, that the constraint will always be
8115 - slightly changed semantics of SCIPaddConsNode() and SCIPaddConsLocal(), such that a constraint which is added to the
8122 - SCIPgetGlobalCutpool(), SCIPgetPoolCuts(), SCIPcutpoolGetCuts(), SCIPcutGetRow() and SCIPcutGetAge()
8127 - command shell now understands escape characters `\``,`'` and `\` which makes it possible to read in files with spaces in the
8141 - parameter `heuristics/feaspump/maxsols` is now strict, i.e., if n solutions were already found, the feasibility pump
8154 - `presolving/restartminred` which forbids another restart if the last one was not successful enough
8172 - fixed bug with string pointer copy instead of string content duplication in constructors of C++ wrapper classes
8173 - fixed bug in CPLEX interface with basis access methods that dualopt has to be called for more error status codes
8174 - fixed bug with inserting two variable bounds of the same type on the same variable with the same bounding variable but
8175 with different sign of coefficient (e.g., `x <= 10*z + 5` and `x <= -5*z + 10`); in previous version, one of the two was
8176 removed, although both have a useful meaning; now, we keep both and detect a stronger global bound in the implication graph presolving
8177 - objective function is now also checked for integrality after problem transformation (fixed a bug that a solution which
8178 was generated between transformation and presolving for an integral objective function did not reduce the cutoff bound by one)
8179 - fixed a bug with cmir cut efficacy calculation (however, on my first tests, the performance reduced slightly!)
8180 - fixed bug that SCIPvarGetAvgSol() always returned the upper bound (affected guided diving heuristic)
8181 - fixed bug in RENS, RINS, Local Branching, Crossover and Mutation heuristics with wrong variable-subvariable assignments
8182 - fixed bug in infeasible/bound-exceeding LP conflict analysis if the bounds were relaxed in diving (happens in intshifting heuristic)
8185 - fixed bug with adding constraints with `INITIAL=true` and separating them afterwards, which lead to a second addition of
8187 - separation LPs are now immediately resolved after a bound change was generated by a cut separator; before, the
8188 separation round was prematurely aborted, which means that a separation round limit was sometimes reached very quickly
8195 - fixed bug in cmir cut separator with weights fixed to zero, thus making the current aggregation invalid
8207 - new propagator `rootredcost` which applies reduced cost fixing at the root node whenever a best new primal solution was found
8211 - extensions to the LP are kept even if the LP is not solved at the current node; however, if the LP turned out to be
8218 - now, conflict constraints are also created if they were generated in strong branching or diving with insertion depth
8223 - renamed `sol` file reader to `fix` file reader (reads partial solution files and fixes variables to the given values)
8224 - added `sol` file reader which reads complete solution files and adds the solutions to the solution pool
8228 - knapsack presolver now generates cliques in the clique table (this essentially solves `neos1.mps`)
8246 - methods SCIPisLbBetter() and SCIPisUbBetter() have an additional parameter and slightly different meaning (they now
8249 - method SCIPreadProb() does not call SCIPfreeTransform() anymore; file readers that want to extend the existing problem
8254 - method SCIPsplitFilenames() now treats both versions of slashes, `/` and `\`, as directory delimiters (under MinGW and
8255 CygWin, both are valid; so, we cannot treat file names anymore where the other slash is used as a regular character)
8258 - marking a constraint to be `initial` now means in addition, that if the constraint is added to a local node it will
8259 enter the LP at the time the node is first processed, even if parameters forbid separation at this node
8273 - SCIPtransformProb() to create the transformed problem; enables the user, e.g., to add primal solutions before the presolving begins
8280 - SCIPgetLhsVarbound(), SCIPgetRhsVarbound(), SCIPgetVarVarbound(), SCIPgetVbdvarVarbound(), and
8302 - SCIPgetWeightsKnapsack(), SCIPgetNVarsKnapsack(), SCIPgetVarsKnapsack() and SCIPgetWeightsKnapsack()
8309 - command line syntax changed to support batch modus without piping stdin with `<` or `|` operators
8315 - `-b <batchfile>`: load and execute dialog command batch file (can be used multiple times)
8322 - removed parameter `propagating/redcostfreq`, because reduced cost strengthening is now an external separator plugin
8332 - in bfs node selector, parameter `minplungedepth` is now stronger than `maxplungedepth` if they conflict
8350 - removed ncurses and pthread libraries from the Makefile; pthread is now only linked if CPLEX is used
8358 - fixed bug that unexpected end of stdin (Ctrl-D or piped-in file without `quit` command) gives a segmentation fault
8359 - fixed bug with inconsistent data structures after a global bound was changed at a local subproblem and the local
8364 - fixed bug in knapsack presolving with redundancy check after applyFixings() [thanks to Anders Schack-Nielsen]
8366 - fixed bug in knapsack constraint disaggregation that may lead to acceptance of infeasible solutions
8367 - fixed bug in knapsack constraint handler where a modifiable constraint may be declared redundant
8370 - fixed bug with missing LP size updates after pricing or cut separation in probing [thanks to Marc Nuenkesser]
8371 - fixed bug in CPLEX interface with getting basis information after the LP was modified and restored
8373 - fixed bug that SCIPgetLPSolstat() returns a valid status code even if the LP was not yet constructed for the current node
8376 - fixed bug with invalid lazy updates after a restart where the LP is not solved again (e.g., due to all variables being fixed)
8377 - fixed bugs resulting from inactive general integer variables being member of the variable bounds array of a variable
8378 - fixed bug in updatePseudocost() with wrong lpgain distribution on multiple branching variables [thanks to Anders Schack-Nielsen]
8379 - fixed bug in objconshdlr.h where member variable scip_maxprerounds_ was declared as an `SCIP_Bool` instead of an int
8380 - branching on nearly-integral variables is now avoided in relpscost branching, which lead to a numerical assertion
8383 - fixed bug with adding implications that fix the implication variable to the opposite value (due to the bug, it was
8396 - it is now possible to branch on constraints without the risk of going into an infinite loop, because constraints marked as `initial`
8397 will be put to the LP relaxation (of the child nodes) even if separation is prohibited by the parameter settings
8398 - fixed bug that locally valid varbound constraints produce VLB/VUB entries [thanks to Anders Schack-Nielsen]
8415 - modified bookkeeping of locally added and disabled constraints such that the order of enabling and disabling constraints stays the same
8416 - logic or constraint handler now adds implications on clauses with 2 literals to the implication graph
8418 - xor constraint handler now uses stronger LP relaxation without auxiliary variable for xor constraint with 2 operands
8425 - LP file reader now accepts the keyword `Integer` for defining the start of the integer variables section
8439 - callback method `CONSSEPA` of constraint handler was split into two methods `CONSSEPALP` and `CONSSEPASOL`
8440 - callback method `SEPAEXEC` of separator was split into two methods `SEPAEXECLP` and `SEPAEXECSOL`
8445 - additional parameter `sol` for methods SCIPaddCut(), SCIPgetCutEfficacy() and SCIPisCutEfficacious()
8447 - primal solutions may now contain values marked to be unknown (value is `SCIP_UNKNOWN`); unknown values don't contribute
8448 to the objective value of the solution; an unknown solution value should be treated as an arbitrary value in the
8449 variable's bounds, e.g., in the calculation of the feasibility of a constraint, a value inside the variable's bounds
8451 - new parameter `printzeros` for methods SCIPprintSol(), SCIPprintTransSol(), SCIPprintBestSol() and SCIPprintBestTransSol()
8454 - replaced method SCIPconshdlrWasSeparationDelayed() by two methods SCIPconshdlrWasLPSeparationDelayed() and
8480 - heuristics with `freq = 0` and `freqofs > 0` are now called in depth level freqofs instead of being called in the root
8483 - new parameter values `p`rimal simplex and `d`ual simplex in `lp/initalgorithm` and `lp/resolvealgorithm`
8500 - also removed history_length, if `NO_REMOVE_HISTORY` is defined to support older versions of the readline library
8511 - fixed bug in LP file reader with signed values without space between sign and value (e.g. `+2x` instead of `+ 2x`)
8516 - fixed numerics in probing and linear constraint handler (rentacar was detected to be infeasible in presolving)
8527 - if one uses column generation and restarts, a solution that contains variables that are only present in the
8528 transformed problem (i.e., variables that were generated by a pricer) is not pulled back into the original space
8538 - changed restart dfs nodeselector to sort leaves by node number instead of node depth to aviod jumping around in the
8544 - added possibility to disable certain features by using `make USRFLAGS=-DNO_REMOVE_HISTORY`, `make
8550 - conflict clauses are now collected in a conflict store, redundant clauses are eliminated and only the best `conflict/maxclauses`
8551 clauses are added permanently to the problem; the remaining clauses are only added temporarily, if they can be used for repropagation
8554 - if CPLEX returns that the LP exceeds the bound and if no additional LP solves are allowed in conflict analysis, we
8555 have to perform one additional simplex iteration to get the dual solution that actually violates the objective limit
8558 - reactivated multiaggregation in cons_linear.c on binary variables again (possible due to bug fix below)
8560 - linear constraint handler now catches events of variables after the problem was completely transformed in order to
8561 avoid the whole bunch of `LOCKSCHANGED` events that are generated at problem transformation stage
8565 - changed linear constraint presolving s.t. redundant sides are not removed if constraint is an equality
8567 - modified probing presolver to not add implications that are already included in the implication graph and clique table
8573 - removed `objfeaspump` heuristic, because the functionality can be achieved by using the `feaspump` heuristic
8576 - slightly changed feaspump heuristic, s.t. after finding a new best solution the target integral solution is modified randomly
8582 - cut pool is now also separated in root node (to find cuts again that were removed from the LP due to aging)
8593 - new callback parameter `validnode` for the `CONFLICTEXEC` method of conflict handlers, which should be passed to
8604 - new parameter `duringlploop` of SCIPincludeHeur(): heuristics can now run during the price-and-cut loop at a node
8613 - SCIPsolveProbingLP() to solve the LP in a probing node (enables mixing of propagation and LP solving for diving heuristics)
8637 - new file i/o methods SCIPfopen(), SCIPfclose(), SCIPfprintf(), ... that operate on the data type `SCIPFILE`; these
8679 - replaced parameter `presolving/restartbdchgs` with parameters `presolving/maxrestarts` and `presolving/restartfac`
8680 - replaced parameter `constraints/linear/maxpresolaggrrounds` with `constraints/linear/maxpresolpairrounds`
8681 - parameters `constraints/agelimit` and `constraints/obsoleteage` now iterprete the value 0 as a dynamic setting
8685 - changed default values of `heuristics/∗/maxdiveavgquot` and `heuristics/∗/maxdiveavgquotnosol` to 0
8687 - changed default values of `heuristics/objpscostdiving/maxsols` and `heuristics/rootsoldiving/maxsols` to -1
8690 - changed default value of `constraints/linear/maxaggrnormscale` to 0.0, which means to not apply aggregation
8721 - `separating/cmir/maxfails`, `separating/cmir/maxfailsroot` and `separating/cmir/trynegscaling`
8725 - MAJOR CHANGE: preceeded all data types with `SCIP_`: you may use shell script reptypes_scip.sh to rename the SCIP
8726 data types in your own source code (But use with care! Create a backup copy of your source first!)
8740 - variables that are being multiaggregated are now automatically removed from all other variables' variable bound and
8741 implication arrays; this fixes bugs with methods, that rely on the fact, that the entries in the variable bound and
8743 - aggregations are now always performed in a way, such that the variable of more general type is aggregated (with type
8744 generality being cont > implint > int > bin); in this way, a binary variable's representant is always binary (which
8753 - fixed bug that if diving heuristic that changes the objective values finds a solution, the cutoff is reinstalled in
8754 the LP solver (although the objective value has no meaning due to the objective function modification)
8757 - LP primal feasibility for bounds is now defined as absolute measure (was relative to the bound before); this fixes a bug (see alu8_9.mps),
8758 that an LP with an integral variable fixed to a large value yields an accepted solution with that variable slightly different than the fixed
8759 value; the integrality feasibility condition is measured with absolute differences, which leads to the fixed integer variable being fractional;
8761 - fixed bug with redundant self implications that wrongly lead to the detection of infeasibility
8769 - locally fixed variables are no longer used as branching candidates even if their LP solution value is fractional (due
8772 - removed bug that an LP might be declared to be solved even if it was marked erroneous due to numerical problems
8776 - fixed bug with constraint handlers that can only enforce their constraints by adding cuts, but the maximal number of
8777 cuts to separate is set to 0; now, cuts that are generated in the constraint enforcement are used in any case
8780 - fixed bug in linear constraint handler that global activities are not updated after global bound changes
8783 - global bound changes now lead to the removal of redundant implications (such that the asserts in sepa_implbounds.c are now correct)
8784 - due to usage of variable bounds, SCIPcalcMIR() may return LOOSE variables in the cut -> modified sepa_cmir.c, sepa_gomory.c and
8785 sepa_strongcg.c to use SCIPcreateEmptyRow() and SCIPaddVarsToRow() instead of SCIPcreateRow() which only works for COLs
8787 - increased performance of clique separator by allowing only a certain number of zero-weighted fill ins
8797 - aging and cleanup now only remove non-basic columns and basic rows, s.t. resolving can be applied with 0 simplex iterations
8798 - it is now possible to create subnodes in probing and use backtracking to undo probing changes
8801 - changed implementation of automatic minplungedepth and maxplungedepth calculation in bfs node selector
8814 - changed implementation of reliability value calculation in reliability branching; slightly modified influence of
8816 - changed implementation of maximal strong branching iterations calculation in reliability branching
8819 - if verblevel is at least `NORMAL`, an automatical check of the best solution is performed in the original problem, and
8821 - due to the new constraint handler `cons_cumulative.{c,h}` SCIP can resource-constraint scheduling problem
8822 - during probing, propagation of bounds is now always performed in linear constraint handler, ignoring the parameter `tightenboundsfreq`
8827 - new implementation of the feasibility pump heuristic by Timo Berthold (replaces old implementation); old
8829 - diving heuristics now compare their number of LP iterations with the number of node LP iterations instead of the total
8831 - modified the automatic objfactor setting of feaspump heuristic to let the objective function have stronger influence
8843 - new callback methods `INITSOL` and `EXITSOL` for variable pricers, primal heuristics, conflict handlers, relaxators,
8845 - callback method `CONFLICTEXEC` of conflict handlers receive additional parameters `dynamic` and `removeable`
8846 - constraint handler callback methods `CONSLOCK` and `CONSUNLOCK` are replaced by a single method `CONSLOCK` with the number
8852 - SCIPreadProb() does not free the current problem, this is done in SCIPcreateProb() now, which is usually
8853 called by a problem reader; in this way, a reader can generate `extra information` for the current problem, s.t. the
8855 - SCIPgetVarStrongbranch() and SCIPgetVarStrongbranchLast() now have two additional parameters that can be used
8857 - SCIPgetBinvarRepresentative() now returns the fixed or multi-aggregated variable instead of returning `NULL` or
8863 `objscip.h` by `objscip/objscip.h`; This should allow a user to have include files of the same name as the ones
8873 - SCIPvarLock(), SCIPvarLockDown(), SCIPvarLockUp(), SCIPvarLockBoth(), SCIPvarUnlock(), SCIPvarUnlockDown(),
8874 SCIPvarUnlockUp() and SCIPvarUnlockBoth() are replaced by SCIPaddVarLocks() which returns a `RETCODE`
8875 - SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SCIPvarGetLbLocal() and SCIPvarGetUbLocal() now return the
8876 corresponding values of the transformed problem or current subproblem even for original problem variables
8877 - SCIPvarGetProbvar(), SCIPvarGetProbvarBinary() now return the fixed or multi-aggregated variable instead of
8878 returning `NULL` or aborting with an error message; in SCIPvarGetProbvarBinary(), the fixing of a fixed variable does
8880 - SCIPvarGetProbvarBound() returns the multi-aggregated variable instead of aborting with an error message
8881 - SCIPvarGetProbvarSum() does not set *var to `NULL` for fixed variables anymore; it may also return a
8883 - SCIPaddVarImplication() now also adds variable lower and upper bounds, if the implied variable is non-binary
8887 - SCIPvarLockDownCons(), SCIPvarLockUpCons(), SCIPvarUnlockDownCons() and SCIPvarUnlockUpCons() are replaced by
8890 - SCIPconshdlrGetNConss() is replaced by SCIPconshdlrGetNActiveConss() (returning the number of active
8891 constraints); method SCIPconshdlrGetNConss() does now return the total number of existing constraints, active and inactive
8934 - SCIPisLPSolBasic() to check, whether the current LP solution is basic (i.e. due to a simplex algorithm or barrier with crossover)
8976 - changed default priority of Gomory cut separator to -1000 (will now be called after constraint handlers!)
9018 - `lp/cleanupcolsroot` and `lp/cleanuprowsroot` to distinguish cleanup settings between root node and other nodes
9020 - `lp/initalgorithm` and `lp/resolvealgorithm` for switching between simplex and barrier algorithm
9031 - new possible result `SCIP_DELAYED` for `EXEC` method of separators, presolvers and propagators and `SEPA`, `PROP` and
9038 - removed bug with applying reduced cost strengthening before pricing in all necessary variables
9042 - fixed bug that after a resolve and further preprocessing, existing primal solutions may get corrupted due to
9044 - fixed bug with primal bound becoming wrong, if in a prior run the optimal solution was found and the cutoff bound was
9050 - fixed bug with wrong euclidean norm calculation of row, if multiple coefficients for the same variable are added and
9052 - fixed bug with adding implications: wrong insertion position, if only the lower bound change was present but not the
9059 - LP error on forced LP resolve (due to 0 unfixed integers) now leads to an error (instead of accepting the pseudo
9064 - fixed bug that presolving time is not counted to solving time, if presolving is called explicitly with SCIPpresolve()
9066 - removed bug with dual presolver, that declared a problem to be unbounded or infeasible, if it could fix a variable to
9068 - fixed bug in knapsack constraint handler that fixed variables are sometimes not removed in presolving
9071 - fixed bug with unresolved numerical troubles in LP that don't render the LP useless at the current node
9075 - fixed bugs in separation store with single coefficient cuts that are converted into bound changes
9076 - at least one cut per separation round is added to the LP to avoid cycling, even if the cut is redundant
9077 - fixed bug in SCIProwCalcIntegralScalar() with rows consisting of only continuous variables (appeared in gomory cut
9082 - fixed bug in implied bound cut separator: only implications between binary variables were generated before
9085 - removed bug in knapsack constraint handler with merging multiple items if more than two items of the same variable
9087 - removed bug in knapsack constraint handler with merging negated variables of equal weight at the end of the variables' array
9088 - fixed bug in linear constraint handler with eventdatas, if the original constraint has no variables
9089 - fixed bug that `CONSLOCK` method of constraint handlers that don't need constraints is not called
9090 - fixeg bug in setppc constraint handler with pairs of aggregated variables in the same constraint
9091 - fixed bug with globally deleting constraints, that have attached rows which are therefore not released in exitsol methods
9104 - improved knapsack relaxation in linear constraint handler separator to scale the constraint in order to get integral
9106 - improved presolving of linear constraint handler: aggregation of two constraints with equal coefficient vector into
9108 - improved presolving of knapsack constraint handler: aggregation of equal or negated variables in same constraint
9111 + priority of separators, propagators and presolvers decide whether the plugin is called before the corresponding
9112 constraint handler methods or after: plugins with nonnegative priorities are called before, plugins with negative
9114 + new plugin class for relaxators (external relaxations, that can be used in parallel with LP relaxations)
9115 + if more than one result code applies to a plugin's execution, it should return the one that is higher in the call's
9121 - even in optimized mode, the simple functions that are implemented as defines in the include files exist in the
9131 - SCIPisIntegral(), SCIPisFracIntegral(), SCIPfloor(), SCIPceil() and SCIPfrac() don't use the feasibility
9132 tolerance anymore (default: 1e-06); instead, they are using epsilon (default: 1e-09); instead, for handling
9133 integrality of a variable `in feasibility tolerances`, new methods SCIPisFeasIntegral(), SCIPisFeasFracIntegral(),
9135 - in LPI, the semantics of SCIPlpiHasPrimalRay() and SCIPlpiHasDualRay() changed: methods return TRUE, if a ray exists
9136 and the solver can return it; new methods SCIPlpiExistsPrimalRay() and SCIPlpiExistsDualRay() check whether a ray
9145 - SCIPisScalingIntegral() to check, whether the scaling of a value would lead to an integral value, measured
9147 - SCIPgetRealarrayMinIdx(), SCIPgetRealarrayMaxIdx(), SCIPgetIntarrayMinIdx(), SCIPgetIntarrayMaxIdx(),
9148 SCIPgetBoolarrayMinIdx(), SCIPgetBoolarrayMaxIdx(), SCIPgetPtrarrayMinIdx() and SCIPgetPtrarrayMaxIdx()
9153 - SCIPfindObj...() and SCIPgetObj...() in C++ wrapper interface to get the corresponding plugin object
9157 - slightly changed the meaning of parameter `presolving/abortfac` a value of 0 now means to abort presolving only after
9163 - assigning a value to a fixed variable in a solution with SCIPsetSolVal() does not return an error anymore, if the
9166 - removed bugs with calling SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPinferVarLbCons(), SCIPinferVarUbCons(),
9170 - solving loop is now immediately aborted, if a node on the active path is marked to be cut off
9173 - removed bug with aborted solving in root node (e.g. due to time limit) that is tagged to be restarted
9176 - fixed bug in all-fullstrong branching with getting strong branching information for columns not in current LP
9180 - changed numerics for integrality check of coefficients (fixed bug with accumulated errors in rows s.t. the row's
9182 - slightly changed numerics in linear constraint handler presolving to fix a bug with coefficients detected to be scaled
9183 to an integral value, that are not integral after scaling due to a large scalar that increased the integrality gap to
9188 - fixed wrong assertion in xor constraint handler with switching both watched variables to unwatched
9189 - fixed bugs in constraint handlers (and, logicor, or, setppc, xor) with calling conflict analysis during presolving
9190 - removed bug in knapsack constraint handler that appears if a variable is fixed to zero in knapsack presolving, which
9195 - fixed bug in presolving with wrong number of newly fixed/aggregated/... variables/bounds/... after a restart
9212 - method SCIPgetGap() and SCIPgetTransGap() now return infinity, if primal and dual bound have opposite sign (this
9221 - `lp/colagelimit` and `lp/rowagelimit` may now be set to -1 to disable deletion of columns/rows due to aging
9228 - the file names in the archive file are now preceeded with a directory `scip-<version>/`
9229 - the compiler is now also represented in the LP solver library names (e.g. you have to rename the softlink
9235 - removed bug in conflict analysis that appears if the conflict is only active at the current depth level
9236 - missing SCIPlpiIsPrimalFeasible() and SCIPlpiIsDualFeasible() implemented in lpi_spx.cpp and lpi_spx121.cpp
9240 - removed wrong assert `assert(eventfilter->len == 0 || eventfilter->eventmask != 0x00000000)` from event.c
9241 - removed wrong assert in conflict analysis (appeared on analyzing diving LP conflicts with both bounds of a non-binary variable changed)
9269 - SCIPprintStatus() outputs the solution status (beware, that the old SCIPprintStatus() method is now called SCIPprintStage())
9273 - changed default frequency offset of pscostdiving `heuristics/pscostdiving/freqofs` to 2 and frequency offset of fracdiving
9274 `heuristics/feaspump/freqofs` to 0 in order to not call pscostdiving in root node, where nearly all pseudo costs are uninitialized.
9278 - new parameter `separating/efficacynorm` to choose between Euclidean, maximum, sum and discrete norm in efficacy
9289 - SCIP returned `gap limit reached` even if the problem was solved to optimality, if the optimal solution was found at a
9291 - after conversion of the focus node into a junction (e.g. in case of numerical troubles while solving the node's LP), the child
9292 nodes got the wrong LP fork attached (the common LP fork of the old and new focus node instead of the old focus node's LP fork)
9295 - bug reconvergence clauses in conflict analysis if bounds on non-binary variables were the reason for the fixing of the