guix_mirror_bot pushed a commit to branch master
in repository guix.

commit 2a7e969cfeda3d993edceae533bbcda178f7e4b6
Author: Thomas Kramer <[email protected]>
AuthorDate: Wed Jan 28 10:59:04 2026 +0000

    gnu: Add soplex.
    
    * gnu/packages/maths.scm (soplex): New variable
    
    Merges guix/guix!5989
    
    Change-Id: I0c23d436c9eb7bdf852d78d600b4cf196d9a0e26
    Signed-off-by: Cayetano Santos <[email protected]>
---
 gnu/packages/maths.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index fe08dd9238..162f1b6db4 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -74,6 +74,7 @@
 ;;; Copyright © 2025 Reza Housseini <[email protected]>
 ;;; Copyright © 2026 Cayetano Santos <[email protected]>
 ;;; Copyright © 2026 Peter Polidoro <[email protected]>
+;;; Copyright © 2026 Luca Alloatti <[email protected]>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -10582,6 +10583,36 @@ when an application performs repeated divisions by the 
same divisor.")
 half-precision floating point formats.")
       (license license:expat))))
 
+(define-public soplex
+  (package
+    (name "soplex")
+    (version "8.0.1")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/scipopt/soplex";)
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "1j0xqm99pdvj6l52q4wk96aj0vnq3xgm2gdyli4g8gfb1g1m9p9l"))))
+    (build-system cmake-build-system)
+    (arguments
+     (list
+      #:configure-flags
+      #~(list "-DPAPILO=OFF")))
+    (inputs (list boost gmp mpfr zlib))
+    (home-page "https://soplex.zib.de/";)
+    (synopsis "Sequential object-oriented simPlex linear programming solver")
+    (description
+     "SoPlex is an optimization package for solving linear
+programming problems (LPs) based on an advanced implementation of the primal
+and dual revised simplex algorithm.  It provides special support for the exact
+solution of LPs with rational input data.  It can be used as a standalone
+solver reading MPS or LP format files via a command line interface as well as
+embedded into other programs via a C++ class library.")
+    (license license:asl2.0)))
+
 (define-public scilab
   (package
     (name "scilab")

Reply via email to