There is a newer version of the record available.

Published November 24, 2025 | Version v8.0.0

scipopt/soplex: v8.0.0

  • 1. Gurobi Optimization
  • 2. HTW and Zuse Institute Berlin
  • 3. Zuse Institute Berlin
  • 4. ZIB / TU Berlin
  • 5. GAMS
  • 6. HTW Berlin
  • 7. Orange
  • 8. Inria
  • 9. TU Darmstadt
  • 10. University of Twente
  • 11. @NewcastleRacingAI
  • 12. Forcepoint
  • 13. Consultant for the University of Edinburgh, School of Mathematics
  • 14. @googlers

Description

interface & parameters

  • method SoPlexBase<R>::factorizeColumnRational() is now public
  • added getRowActivity(), getRowActivityRational(), getRowsActivity(), getRowsActivityReal(), getRowsActivityRational(), and getColActivity(), getColActivityRational(), getColsActivity(), getColsActivityReal() to SoPlexBase<R>, based on extended computePrimalActivity() and computeDualActivity()
  • rename enums for verbosity levels: SPxOut::DEBUG to SPxOut::VERB_DEBUG etc.
  • changed type of second argument of spx_alloc() and spx_realloc() from int to size_t
  • changed second argument of NameSet::NameSet(), first argument of NameSet::memRemax(), return of NameSet::memMax(), and return of NameSet::memSize() from int to size_t
  • add constructor for class SolBase
  • deprecated SOPLEX_SUBVERSION, SOPLEX_VERSION_SUB, and soplex::subversion()

build system

  • for cmake >= 3.30, CMP0167 is enforced and BOOST_ROOT no longer supported; use Boost_DIR instead with these cmake versions
  • increased minimal required cmake version to 3.11
  • revised SANITIZE options for makefile: removed SANITIZE=full, added SANITIZE=thread, SANITIZE=address, and SANITIZE=memory to enable thread, address, and memory sanitizers, respectively, in addition to undefined behavior sanitizer; changed default to SANITIZE=false
  • replaced SANITIZE_XYZ=(on|off) options for cmake by SANITIZE=(on|off|thread|address|memory) and let it have an actual effect on the build; undefined behavior sanitizer is always enabled if not SANITIZE=off (the default)
  • Makefiles: by default, SoPlex links with MPFR=true and GMP=true if and only if BOOST=true (options GMP=auto and MPFR=auto)
  • Makefiles: change default value of BOOST to false; set BOOST=true manually to obtain exact rational solving functionality
  • cmake: if SoPlex is build with MPFR, then also projects that use such a SoPlex installation will now look for MPFR
  • cmake: updated FindMPFR.cmake so that MPFR_DIR is now supported

fixed bugs

  • extend memory counters to size_t to avoid segmentation faults for large-scale problems
  • removed instantiation of SPxLPBase<Rational> class template from header file, to avoid problems when SoPlex headers are compiled into several object files of a library

code quality

  • avoid deprecated implicit copy constructor for classes SPxException, SLinSolver, and SLinSolverRational

miscellaneous

  • removed 4th number in SoPlex version; new format is major.minor.patch

Downloads of prebuild libraries and executables, as part of the SCIP Optimization Suite, are available at https://scipopt.org/index.php#download.

Files

scipopt/soplex-v8.0.0.zip

Files (1.5 MB)

Name Size Download all
md5:3afb71e8f3b95553aee2bb56bc17e8e7
1.5 MB Preview Download

Additional details

Related works

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

Software