Fixed bugs
- apply same feasibility definition in PaPILO as in SCIP to avoid numerical inconsistencies
- check variable cancellation in
SCIPvarAddVlb()
andSCIPvarAddVub()
to avert wrong infeasibility SCIPfreeReoptSolve()
now also clears partial solutions- fixed bug in calculation of "fractionality score" for spatial branching candidates in cons_nonlinear
- fixed bug with installing symmetry dialog in sub-SCIPs
- added copy callbacks for presolvers dualagg and redvub, branching rules lookahead and cloud, primal heuristics dualval and repair, propagator nlobbt, and separators gauge and convexproj
- respect maximal separation rounds setting by running remaining delayed separators in last round
- replace terms consistently in
applyFixings()
of cons_linear to handle infinite aggregations
Build system
Cmake
- fix SCIP Optimization Suite build with
-DSYM=(s)bliss
and bliss being downloaded and built during configuration by cmake - fix use of a bliss cmake installation specified via
BLISS_DIR
if-DSYM=(s)bliss
Makefile
- the check/solchecker build can now use also GMP installations by Homebrew on macOS/arm64
Miscellaneous
- the output precision for writing CIP/OPB files has been increased at several places for nonlinear constraints
- the solchecker tool now also supports SCIP solutions without unknown or infinite values
- generate an error if the same linear constraint is used by several indicator constraints