diff options
| author | Wiktor Żelazny <wz@freeshell.de> | 2025-04-18 20:17:31 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-04-30 16:21:42 +0200 |
| commit | feef374f4bc99913d2d5ce6598f1646c7471ae20 (patch) | |
| tree | f224470edd9894d1c5a34494e6762cf7d6aa3bfd | |
| parent | 9f53ed3a38b2327dcbb112ceccdcd211d3a17f35 (diff) | |
gnu: Add highs.
* gnu/packages/maths.scm (highs): New variable.
Change-Id: Ie842704d4d9c8a4b531ee45aab34a99e59e4b3c4
Signed-off-by: Andreas Enge <andreas@enge.fr>
| -rw-r--r-- | gnu/packages/maths.scm | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 0b653f4daf..fdbd189ac4 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -11038,3 +11038,27 @@ groups. Documentation is available on expression parsing and evaluation.") (home-page "https://www.partow.net/programming/exprtk/index.html") (license license:expat))) + +(define-public highs + (let ((commit "v1.10.0") + (revision "1")) + (package + (name "highs") + (version (git-version "1.10.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ERGO-Code/HiGHS") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "19q99nkk6r6k91gxp8a5rjil1399qyfgfc6jqlg2gd82vpcw8c8b")))) + (build-system cmake-build-system) + (home-page "https://highs.dev") + (synopsis "High performance software for linear optimization") + (description + "HiGHS provides serial and parallel solvers for large-scale +sparse linear programming (LP), mixed-integer programming (MIP), and quadratic +programming (QP) models") + (license license:expat)))) |