Highs Backend

build/pkgs/highs/SPKG.rst

@@ -0,0 +1,42 @@
+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: [email protected]
+
+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.
+

build/pkgs/highs/checksums.ini

@@ -0,0 +1,4 @@
+tarball=highs-VERSION.tar.gz
+sha1=576cf6f0fe03a57ebcf6acc6fe77b230b454b0bd
+sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275
+upstream_url=https://github.com/ERGO-Code/HiGHS/archive/refs/tags/vVERSION.tar.gz

build/pkgs/highs/dependencies

@@ -0,0 +1,4 @@
+cmake
+
+----------
+All lines of this file are ignored except the first.

build/pkgs/highs/package-version.txt

@@ -0,0 +1 @@
+1.11.0

build/pkgs/highs/spkg-install.in

@@ -0,0 +1,14 @@
+cd src
+mkdir -p build
+cd build
+sdh_cmake -DBUILD_SHARED_LIBS=ON \
+          -DCMAKE_BUILD_TYPE=Release \
+          -DBUILD_TESTING=OFF \
+          -DBUILD_CXX=ON \
+          -DZLIB=ON \
+          -DCMAKE_VERBOSE_MAKEFILE=ON \
+          -DCMAKE_INSTALL_LIBDIR=lib \
+          ..
+sdh_make
+sdh_make_install
+

build/pkgs/highs/type

@@ -0,0 +1 @@
+standard

build/pkgs/sagelib/dependencies

@@ -1,4 +1,4 @@
-FORCE $(SCRIPTS) $(BLAS) brial cliquer cypari cysignals cython ecl eclib ecm flint libgd gap givaro glpk gmpy2 gsl iml importlib_metadata importlib_resources jupyter_core lcalc lrcalc_python libbraiding libhomfly libpng linbox m4ri m4rie memory_allocator mpc mpfi mpfr $(MP_LIBRARY) ntl numpy pari pip pkgconfig planarity ppl pplpy primesieve primecount primecountpy $(PYTHON) requests rw singular symmetrica typing_extensions $(PCFILES) | $(PYTHON_TOOLCHAIN) meson_python $(PYTHON) pythran
+FORCE $(SCRIPTS) $(BLAS) brial cliquer cypari cysignals cython ecl eclib ecm flint libgd gap givaro glpk gmpy2 gsl highs iml importlib_metadata importlib_resources jupyter_core lcalc lrcalc_python libbraiding libhomfly libpng linbox m4ri m4rie memory_allocator mpc mpfi mpfr $(MP_LIBRARY) ntl numpy pari pip pkgconfig planarity ppl pplpy primesieve primecount primecountpy $(PYTHON) requests rw singular symmetrica typing_extensions $(PCFILES) | $(PYTHON_TOOLCHAIN) meson_python $(PYTHON) pythran
 
 ----------
 All lines of this file are ignored except the first.