TY - UNPB
T1 - The SCIP Optimization Suite 10.0
AU - Hojny, Christopher
AU - Besancon, Mathieu
AU - Bestuzheva, Ksenia
AU - Borst, Sander
AU - Chmiela, Antonia
AU - Dionísio, João
AU - Ehls, Johannes
AU - Eifler, Leon
AU - Ghannam, Mohammed
AU - Gleixner, Ambros
AU - Göß, Adrian
AU - Hoen, Alexander
AU - von Holly-Ponientzietz, Jacob
AU - van der Hulst, Rolf
AU - Kamp, Dominik
AU - Koch, Thorsten
AU - Kofler, Kevin
AU - Lentz, Jurgen
AU - Lübbecke, Marco
AU - Maher, Stephen J.
AU - Meinhold, Paul Matti
AU - Mexi, Gioni
AU - Mohr, Til
AU - Mühmer, Erik
AU - Patel, Krunal Kishor
AU - Pfetsch, Marc E.
AU - Pokutta, Sebastian
AU - Reinartz Groba, Chantal
AU - Serrano, Felipe
AU - Shinano, Yuji
AU - Turner, Mark
AU - Vigerske, Stefan
AU - Walter, Matthias
AU - Weninger, Dieter
AU - Xu, Liding
PY - 2025/11/23
Y1 - 2025/11/23
N2 - The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in SCIP Optimization Suite 10.0. The updates in SCIP 10.0 include a new solving mode for exactly solving rational mixed-integer linear programs, a new presolver for detecting implied integral variables, a novel cut-based conflict analysis and separator for flower inequalities, two new heuristics, a novel tool for explaining infeasibility, a new interface for nonlinear solvers as well as improvements in symmetry handling, branching strategies, and SCIP's Benders' decomposition framework. SCIP Optimization Suite 10.0 also includes new and improved features in the the presolving library PaPILO, the parallel framework UG, and the decomposition framework GCG. Moreover, the SCIP Optimization Suite 10.0 contains MIP-DD, the first open-source delta debugger for mixed-integer programming solvers. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver.
AB - The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in SCIP Optimization Suite 10.0. The updates in SCIP 10.0 include a new solving mode for exactly solving rational mixed-integer linear programs, a new presolver for detecting implied integral variables, a novel cut-based conflict analysis and separator for flower inequalities, two new heuristics, a novel tool for explaining infeasibility, a new interface for nonlinear solvers as well as improvements in symmetry handling, branching strategies, and SCIP's Benders' decomposition framework. SCIP Optimization Suite 10.0 also includes new and improved features in the the presolving library PaPILO, the parallel framework UG, and the decomposition framework GCG. Moreover, the SCIP Optimization Suite 10.0 contains MIP-DD, the first open-source delta debugger for mixed-integer programming solvers. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver.
U2 - 10.48550/arXiv.2511.18580
DO - 10.48550/arXiv.2511.18580
M3 - Preprint
VL - 2511.18580
BT - The SCIP Optimization Suite 10.0
PB - arXiv.org
ER -