guix_mirror_bot pushed a commit to branch master
in repository guix.

commit f1600ecce4cdc345e4d8ad21016c9c686adf98e6
Author: Thomas Kramer <[email protected]>
AuthorDate: Wed Jan 28 11:00:24 2026 +0000

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

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 162f1b6db4..328df56969 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -10613,6 +10613,47 @@ 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 scip
+  (package
+    (name "scip")
+    (version "10.0.1")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/scipopt/scip";)
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "01j0m7fzr8xcwpsd3zfqrbqw8rw2169rlp0qb6srdx5ablkcdcv1"))))
+    (build-system cmake-build-system)
+    (arguments
+     (list
+      #:build-type "Release"
+      #:parallel-tests? #f
+      #:configure-flags
+      #~(list "-DPAPILO=OFF"
+              "-DZIMPL=OFF"
+              "-DAMPL=ON"
+              "-DIPOPT=OFF"
+              (string-append
+               "-DSOPLEX_DIR=" #$(this-package-input "soplex")))))
+    (inputs (list boost
+                  gmp
+                  mpfr
+                  readline
+                  soplex
+                  zlib))
+    (home-page "https://www.scipopt.org/";)
+    (synopsis "Solving constraint integer programs")
+    (description
+     "SCIP is a solver for mixed integer programming (MIP) and mixed
+integer nonlinear programming (MINLP).  It is a framework for constraint
+integer programming and branch-cut-and-price, allowing total control
+of the solution process and access to detailed information down to the
+internals of the solver.")
+    (license license:asl2.0)))
+
 (define-public scilab
   (package
     (name "scilab")

Reply via email to