v9.2.2

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