HiGHS optimization solver
Stable release | 1.7.0 |
---|---|
Repository | github |
Written in | C++ |
Type | Optimization solver suite |
License | MIT |
Website | ergo-code |
![]() | |
Headquarters | Edinburgh |
---|---|
Location |
|
Director | Julian Hall |
Key people |
|
Staff | 3 |
Website | www |
HiGHS is open-source software to solve linear programming (LP), mixed-integer programming (MIP), and convex quadratic programming (QP) models.[1]
Written in C++ and published under an MIT license, HiGHS provides programming interfaces to C, Python, Julia, Rust, JavaScript, Fortran, and C#. It has no external dependencies. A convenient thin wrapper to Python is available via the highspy PyPI package.
Although generally single-threaded, some solver components can utilize multi-core architectures. HiGHS is designed to solve large-scale models and exploits problem sparsity. Its performance relative to commercial and other open-source software is reviewed periodically using industry-standard benchmarks.[2]
The term HiGHS may also refer to both the underlying project and the small team leading the software development.
History
HiGHS is based on solvers written by PhD students from the Optimization and Operational Research Group [3] in the School of Mathematics at the University of Edinburgh. Its origins can be traced back to late 2016, when Ivet Galabova combined her LP presolve with Julian Hall's simplex crash procedure and Huangfu Qi's dual simplex solver to solve a class of industrial LP problems faster than the best open-source solvers at that time. Since then, a C++ API and other language interfaces have been developed, and modelling utilities and other categories of solver have been added.
In early‑2022, the GenX and PyPSA open energy system modelling projects endorsed a funding application for the HiGHS solver in an effort to reduce their community reliance on proprietary libraries.[4] That appeal resulted in CAN$76000 in funding from Invenia Labs, Cambridge, United Kingdom in July 2022.[5]
Solvers
Simplex
HiGHS has implementations of the primal and dual revised simplex method for solving LP problems, based on techniques described by Hall and McKinnon (2005),[6] and Huangfu and Hall (2015, 2018).[7][8] These include the exploitation of hyper-sparsity when solving linear systems in the simplex implementations and, for the dual simplex solver, exploitation of multi-threading. The simplex solver's performance relative to commercial and other open-source software is regularly reported using industry-standard benchmarks.[9]
Interior point
HiGHS has an interior point method implementation for solving LP problems, based on techniques described by Schork and Gondzio (2020).[10] It is notable for solving the Newton system iteratively by a preconditioned conjugate gradient method, rather than directly, via an LDL* decomposition. The interior point solver's performance relative to commercial and other open-source software is regularly reported using industry-standard benchmarks.[11]
Mixed integer programming
HiGHS has a branch-and-cut solver for MIP problems. Its performance relative to commercial and other open-source software is regularly reported using industry-standard benchmarks.[12]
Quadratic programming
HiGHS has an active set solver for convex quadratic programming (QP) problems.
Applications using HiGHS
HiGHS can be used as a stand‑alone solver library in bespoke applications, but numerical computing environments, optimization programming packages, and domain‑specific numerical analysis projects are starting to incorporate the software into their systems also.
Numerical computing support
As powerful open‑source software under active development, HiGHS is increasingly being adopted by application software projects that provide support for numerical analysis. The SciPy scientific library, for instance, uses HiGHS as its LP solver [13] from release 1.6.0 [14] and the HiGHS MIP solver for discrete optimization from release 1.9.0.[15] As well as offering an interface to HiGHS, the JuMP modelling language for Julia [16] also describes the specific use of HiGHS in its user documentation.[17] The MIP solver in the NAG library is based on HiGHS ,[18] and HiGHS is the default LP and MIP solver in the MathWorks Optimization Toolbox .[19]
Open energy system models
HiGHS is now also used by some domain‑specific applications, including one open energy system modeling environment. The web‑based version of the PyPSA European multi‑sector model deploys the HiGHS solver by default from February 2022.[20][21] The GridCal project developing research‑oriented power systems software added optional support for HiGHS in February 2022.[22]
See also
- List of optimization software
- Mathematical optimization
- Numerical benchmarking
- Simplex method
External links
- GitHub repository
- Software documentation
References
- ^ Hall, Julian (21 September 2020). HiGHS: High-performance open-source software for linear optimization (PDF). Edinburgh, United Kingdom: University of Edinburgh. Retrieved 27 February 2022. Presentation.
- ^ "Benchmarks for optimization software". Decision tree for optimization software. March 2022. Retrieved 31 March 2022.
- ^ "Optimization and Operational Research: School of Mathematics". March 2022. Retrieved 31 March 2022.
- ^ Parzen, Maximilian; Hall, Julian; Jenkins, Jesse; Brown, Tom (31 March 2022). Optimization solvers: the missing link for a fully open-source energy system modelling ecosystem (PDF). doi:10.5281/zenodo.6409432. Retrieved 3 April 2022. Eight page funding proposal which also offers a relatively detailed roadmap.
- ^ "A $76k donation from Invenia Labs has been received to support HiGHS". School of Mathematics, Edinburgh University. Edinburgh, Scotland. 21 July 2022. Retrieved 21 July 2022.
- ^ Hall, JAJ; McKinnon, KIM (1 December 2005). "Hyper-sparsity in the revised Simplex method and how to exploit it" (PDF). Computational Optimization and Applications. 32 (3): 259–283. doi:10.1007/s10589-005-4802-0. ISSN 1573-2894. S2CID 15967632. Retrieved 1 April 2022. Linked PDF is an early preprint.
- ^ Huangfu, Q; Hall, JAJ (April 2015). "Novel update techniques for the revised simplex method" (PDF). Computational Optimization and Applications. 60 (3): 587–608. doi:10.1007/s10589-014-9689-1. ISSN 0926-6003. S2CID 254416722. Retrieved 31 March 2022.
- ^ Huangfu, Q; Hall, JAJ (1 March 2018). "Parallelizing the dual revised simplex method" (PDF). Mathematical Programming Computation. 10 (1): 119–142. doi:10.1007/s12532-017-0130-5. ISSN 1867-2957. S2CID 4641325. Retrieved 27 February 2022.
- ^ "Benchmark of Simplex LP solvers". Decision tree for optimization software. March 2022. Archived from the original on 11 November 2021. Retrieved 31 March 2022.
- ^ Schork, Lukas; Gondzio, Jacek (December 2020). "Implementation of an interior point method with basis preconditioning" (PDF). Mathematical Programming Computation. 12 (4): 603–635. doi:10.1007/s12532-020-00181-8. hdl:20.500.11820/00a692a1-3372-41f6-8baf-f45396efcc0e. ISSN 1867-2949. S2CID 53444331. Retrieved 31 March 2022.
- ^ "Benchmark of Barrier LP solvers". Decision tree for optimization software. March 2022. Retrieved 31 March 2022.
- ^ "The MIPLIB2017 Benchmark Instances". Decision tree for optimization software. March 2022. Retrieved 31 March 2022.
- ^ "SciPy — scipy.optimize.linprog". SciPy Optimization. March 2022. Retrieved 1 April 2022.
- ^ "SciPy — Release 1.6.0 Highlights". SciPy Optimization. March 2022. Retrieved 2 April 2022.
- ^ "SciPy — Release 1.9.0 Highlights". SciPy Optimization. May 2022. Retrieved 5 May 2022.
- ^ "JuMP". JuMP. March 2022. Retrieved 1 April 2022.
- ^ "JuMP — Models". JuMP. March 2022. Retrieved 1 April 2022.
- ^ "NAG Library Manual, Mark 29.3". NAG Optimization Modelling Suite. January 2024. Retrieved 25 March 2024.
- ^ "Optimization Toolbox Release Notes". Mathworks Optimization Toolbox. March 2024. Retrieved 22 March 2024.
- ^ Brown, Tom. "PyPSA-Eur-Sec optimization server". Retrieved 22 July 2022. A web interface to PyPsa‑Eur‑Sec model.
- ^ "GitHub commit: Switch solver from Gurobi to HiGHS". PyPSA server project. 3 February 2022. Retrieved 22 July 2022.
- ^ "GitHub commit: Added Highs for linux". GridCal project. 3 February 2022. Retrieved 24 July 2022.
- v
- t
- e
- Mathematica
- MPS
- nl
- sol
LP, MILP∗ |
|
---|---|
QP, MIQP∗ |
|
QCP, MIQCP∗ |
|
SOCP, MISOCP∗ |
|
SDP, MISDP∗ | |
NLP, MINLP∗ |
|
GO | |
CP |
|