No abstract

No abstract

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP . The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP ’s main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP ’s application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon SCIP .

Geochemical tomography sections based on mantle-derived pyrope garnet xenocrysts have been constructed for different tectonic domains along a southern transect crossing the Tasman Line. At the regional scale, these sections reveal thicker lithosphere and lower geothermal gradients with increasing tectonothermal age of the lithosphere domains. In a transect from the easternmost locality (Jugiong) in Phanerozoic eastern Australia to the Eyre Peninsula (Gawler Craton) in Proterozoic South Australia, the palaeogeotherm decreases from greater than 50 mW/m 2 at Jugiong to around 40 mW/m 2 In South Australia and the depth to the lithosphere-asthenosphere boundary changes from -100 to 180 km. Geochemical tomography sections for the Gawler Craton region sampled in the Permian and the Jurassic, indicate lithosphere thinning by about 10-15 km, attributed to the effect of Pangean rifting. These physical changes are paralleled by higher MgO and lower CaO and AI 2 O 3 contents in progressively older lithospheric mantle, consistent with the global secular variation in mantle composition previously documented. Olivine is the most abundant mantle mineral in all sections and the Fe/Mg ratio of olivine is important in controlling the physical properties of lithospheric regions (density, Vp, Vs). Because olivine is rarely preserved, an inversion of the garnet-olivine Fe-Mg-exchange geothermometer has been used to calculate the Fe/Mg of olivine coexisting with each garnet grain. Application of this inversion to the southern Australian transect shows high Mg# (Mg/(Mg+Fe)) for olivine in the shallow parts of the Proterozoic western sections and more Fe-rich olivine in the Phanerozoic eastern sections. There also is an overall trend to lower Mg# with increasing depth in each section, which may reflect infiltration by asthenospherlc melts near the lithosphere-asthenosphere boundary. Olivine density varies inversely with Mg#, and the Proterozoic lithosphere in this traverse therefore is more buoyant, relative to the asthenosphere, than the Phanerozoic sections despite the lower geotherm beneath the craton. Vp and Vs vary directly with Mg# (the higher the Mg#, the higher the Vp and Vs) and thus these compositional differences are important in the interpretation of seismic tomography.

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in SCIP-Jack. Keywords Constraint integer programming • linear programming • mixed-integer linear programming • mixed-integer nonlinear programming • optimization solver • branch-andcut • branch-and-price • column generation • parallelization • mixed-integer semidefinite programming Mathematics Subject Classification 90C05 • 90C10 • 90C11 • 90C30 • 90C90 • 65Y05 * Extended author information is available at the end of the paper.