scipopt/scip v10.0.3

on GitHub

Fixed bugs

• fixed statistic on added linear constraints in propagation
• keep flag rangedrowpropagated of linear and exactlinear constraints for probing bound changes to avoid duplicate constraints by ranged row propagation
• define result of SCIPconsProp() also if no propagation callback is available
• keep variable for impossible substitution in cardinality constraint presolving to avoid duplication error
• fix locking of indicator variables associated with cardinality constraints
• free hashmap in cardinality constraints if problem is freed before transforming
• fix CONSGETVARS and CONSGETNVARS callbacks of cardinality constraint handler
• correct integer variable offset when removing duplicate variables from xor constraint
• add applied clique as constraint when reformulating a binary product to avoid problem relaxation
• round coefficients when aggregating integer variables with epsilon coefficient tolerance to ensure consistency of integrality
• in the components constraint handler, avoid solving last component as a subproblem if all others components were trivial
• when solving a node is interrupted, create a node branched event for the artificial child node
• add missing capture of binary variable in indicator constraint handler
• disregard deletable flag in IIS generation to re-enable removal of unused variables
• restore infeasible original problem in IIS addition filter if interrupted or hitting a limit
• fixed that SCIP did not catch Ctrl+C in concurrent mode
• SCIPsolveConcurrent() now returns with an error when reoptimization is enabled, since the concurrent sub-solvers do not perform reoptimization and the combination could segfault after SCIPfreeReoptSolve()
• fixed indexing in the heap implementation in Dijkstra's algorithm; behavior of heap was and is correct

Build systems

• fixed that the doc target in cmake builds was not available when using -DBUILD_TESTING=OFF
• add /bigobj compiler flag when compiling with cmake, MSVC, LPS=spx, and in debug mode

Miscellaneous

• added DEBUGTOOL=perf option for check scripts to collect perf statistics (new sections @06, @09, @10), including computation and comparison of non-memory-stalling frequency-normalized time
• check scripts now write available memory (kB) and the current cumulative CPU ticks (from /proc/stat) before and after the solve to the .out file (new sections @07 and @08)
• allow returning SCIP_CONSADDED when propagating constraints
• cardinality constraint handler now parses and writes the indicator variables

For more information on attached assets, check https://scipopt.org/index.php#download.