@@ -8,15 +8,20 @@ Features
88
99- added constraint handler that checks and enforces bounds on original variables which have been fixed or aggregated in the transformed problem
1010- allow for implicit integer variables in xor constraints
11- - implemented symmetry detection callbacks for cons_pseudoboolean
11+ - implemented symmetry detection callbacks for pseudoboolean constraints
1212- added option to consider enforcement of nonlinear constraints (including spatial branching) before integrality has been enforced
1313
14- Performance improvements
15- ------------------------
16-
1714Fixed bugs
1815----------
1916
17+ - make sure that, in dual proof analysis, upgraded constraints can report their number of variables
18+ - check knapsack constraints as linear constraints to avoid violations based on implicit integrality
19+ - make sure that symmetry detection callbacks report success
20+ - make arithmetics in cuts.c more robust to avoid invalid scg cuts due to numerical rounding sensitivity
21+ - allow to copy pseudoboolean constraints even if no AND constraints are present in order to avoid a warning
22+ - set value for variable that is introduced to reformulate nonlinear objective function when reading .nl files with initial solution
23+ - fixed that multi-aggregations from PaPILO were accepted without ensuring that their bounds hold
24+
2025Examples and applications
2126-------------------------
2227
@@ -35,10 +40,6 @@ Interface changes
3540- new function SCIPgetExprActivityNonlinear() to get activity of nonlinear constraint
3641- new function SCIPincludeConshdlrFixedvar() to include new constraint handler that checks bounds on fixed original variables
3742
38- ### Command line interface
39-
40- ### Interfaces to external software
41-
4243### New parameters
4344
4445- limits/primal to terminate the solve as soon as the primal bound is at least as good as this value, same as limits/objectivestop (deprecated)
@@ -59,46 +60,13 @@ Build system
5960
6061- changed the default symmetry computation package from sassy+bliss to sassy+nauty
6162- bliss source is no longer included in the source tree, but can be linked as external library (https://github.com/ds4dm/Bliss)
62-
63- ### Makefile
64-
65- ### Cmake
66-
6763- cmake now automatically downloads and installs the latest release version of SoPlex from GitHub if it is not found directly
6864
69- Testing
70- -------
71-
7265Miscellaneous
7366-------------
7467
7568- updated nauty to version 2.8.8
7669
77- @section RN902 SCIP 9.0.2
78- *************************
79-
80- Fixed bugs
81- ----------
82-
83- - make sure that, in dual proof analysis, upgraded constraints can report their number of variables
84- - check knapsack constraints as linear constraints to avoid violations based on implicit integrality
85- - make sure that symmetry detection callbacks report success
86- - make arithmetics in cuts.c more robust to avoid invalid scg cuts due to numerical rounding sensitivity
87- - allow to copy cons_pseudoboolean even if no AND constraints are present in order to avoid a warning
88- - set value for variable that is introduced to reformulate nonlinear objective function when reading .nl files with initial solution
89- - fixed that multi-aggregations from PaPILO were accepted without ensuring that their bounds hold
90-
91- Miscellaneous
92- -------------
93-
94- Build system
95- ------------
96-
97- ### Cmake
98-
99- ### Makefile
100-
101- - fixed that bliss main() was included in SCIP library
10270
10371@section RN901 SCIP 9.0.1
10472*************************
0 commit comments