{"paper":{"title":"The SCIP Optimization Suite 9.0","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alexander Hoen, Ambros Gleixner, Antonia Chmiela, Christopher Hojny, Christoph Graczyk, Dieter Weninger, Dominik Kamp, Erik M\\\"uhmer, Felipe Serrano, Franziska Schl\\\"osser, Gioni Mexi, Ivo Hedtke, Jasper van Doornmalen, Jo\\~ao Dion\\'isio, Julian Manns, Jurgen Lentz, Katrin Halbig, Kevin Kofler, Ksenia Bestuzheva, Leon Eifler, Liding Xu, Marc E. Pfetsch, Mark Turner, Mathieu Besan\\c{c}on, Mohammed Ghannam, Rolf van der Hulst, Stefan Vigerske, Suresh Bolusani, Thorsten Koch, Tim Donkiewicz, Yuji Shinano","submitted_at":"2024-02-27T17:27:47Z","abstract_excerpt":"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 the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bug fixes. The SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.17702","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.17702/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}