Fixed bugs
- fixed definition of slack variables of >= constraints and ranged rows in LP interface to Gurobi
- free memory leaking singleton arrays for ignored variables in SCIPapplyHeurDualval()
- use epsilon tolerance for bound implications of dual substitutions in dualPresolve() of cons_linear
- fixed timeouts due to race conditions when using TPI=omp
- fixed issues with indexing of concurrent solvers when a solver finishes (because SCIP is too fast) before others have been created when using TPI=tny
- respect fixing if variable is declared binary in bounds section of mps file
- fixed reading mps files with short row and column names and some fixed-form mps files with spaces in row names
- force local bounds to adjusted value when fixing variable
- adds missing NULL check for Benders' subproblems in feasalt cut
- apply objective scale to pseudoboolean non-linear terms
- impose pseudoboolean cost bound without intermediate casting
- flatten aggregation graph before finishing presolve to accelerate evaluating an empty solution
- respect fixed resultants in binvarGetActiveProbindex() of branch_relpscost
- drop fixed resultants when copying pseudoboolean constraint
- correct matrix entry when resolving aggregated variables in checkSystemGF2() of cons_xor
- corrected symmetry detection graph of cons_and, cons_or, cons_xor, and cons_indicator
- correct redundancy filter in consdataCreateRedundant() of cons_bounddisjunction
- replaced unreliable comparison of node pointers by node numbers in prop_genvbounds
- allocate memory for all integral variables in applyCliqueFixings() of heur_clique
- fix conflict resolution for one particular case in cons_indicator
- make interface to nauty thread safe
- use relative epsilon tolerance to check Farkas row in SCIPlpGetDualfarkas() to avoid invalid cutoff
- fixed bug with SOS2 constraints of size that avoided a correct enforcing
Build system
Cmake
- allow to set HIGHS_DIR via -D flag as well
- reenable building and testing of SCFLP example
- fixed that compiler flags for sanitizers were not used for compiling objects of SCIP library
- prioritize local includes for unittests, examples, and applications to link the intended SCIP version
- fix detection of Gurobi 11 and 12 libs on Linux
Makefile
- fix use of SANITIZE=full for debug builds with GCC on Linux: removed -fsanitize=leak because it cannot be used together with -fsanitize=address
- fix that make install SHARED=true missed to install libscipbase