highs: Linear optimization solver

Description

HiGHS is a high performance serial and parallel solver for large scale sparse linear optimization problems of the form:

\[\min \, c^T x \quad \text{subject to} \quad L \leq Ax \leq U, \; l \leq x \leq u\]

where \(c\), \(x\), \(l\), \(u\) are vectors, \(L\), \(U\) are constraint bound vectors, and \(A\) is a matrix.

HiGHS has implementations of the dual revised simplex method, primal and dual revised simplex solvers, an interior point solver, and a MIP solver.

This package builds the HiGHS C/C++ library with C API headers for use in Sage’s numerical backends.

License

  • MIT License

Upstream Contact

Dependencies

  • CMake (build dependency)

Special Update/Build Instructions

The library is built using CMake and provides the C API interface (highs_c_api.h) for integration with Sage’s backend system.

Type

standard

Dependencies

Version Information

package-version.txt:

1.14.0

Equivalent System Packages

$ sudo pacman -S highs
$ conda install highs
$ sudo apt-get install libhighs-dev highs
$ sudo dnf install coin-or-HiGHS coin-or-HiGHS-devel
$ sudo pkg install math/highs
$ sudo emerge sci-mathematics/highs
$ brew install highs
$ sudo port install HiGHS
$ nix-env --install highs
$ sudo zypper install HiGHS HiGHS-devel

See https://repology.org/project/highs/versions

If the system package is installed, ./configure will check if it can be used.