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’x subject to L <= Ax <= U; l <= x <= u

where c, x, L, U, l, u are 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¶

• https://github.com/ERGO-Code/HiGHS

• https://www.highs.dev

• Email: hello@highs.dev

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¶

• cmake: A cross-platform build system generator

• ninja_build: A build system with a focus on speed

• zlib: Data compression library

Version Information¶

package-version.txt:

1.13.0

Installation commands¶

$ sage -i highs

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see upstream Issue #27330 for more information.