There is a newer version of the record available.

Published November 24, 2025 | Version v10.0.0
Software Open

scipopt/scip: v10.0.0

Description

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.

Files

scipopt/scip-v10.0.0.zip

Files (13.8 MB)

Name Size Download all
md5:f999da46821aa527acd587e7cfd0596f
13.8 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/scipopt/scip/tree/v10.0.0 (URL)

Software