Major release 10.0.0
Some of the new features in SCIP 10.0.0:
- a new solving mode that allows to solve rational MILPs exactly, i.e., without numerical tolerances and without being affected by floating-point roundoff errors
- a new presolver for detecting implied integral variables and a more flexible specification of implied integrality information
- generalizations of symmetry handling methods to reflection symmetries
- cut-based conflict analysis
- a new separator plugin for flower inequalities derived from multilinear problems
- two new primal heuristics that exploit decompositions provided by users
- improved branching strategies
- a tool to find explanations for infeasibility via so-called irreducible infeasible subsystems
- improvements to the Benders’ decomposition framework
- an interface to the nonlinear programming solver CONOPT
- JSON export of solve statistics
For a detailed description of the new features, see the release report.
For a list of all changes, see the CHANGELOG.
For downloads of prebuild libraries and executables, check https://scipopt.org/index.php#download.