gnu: Add scip.

* gnu/packages/maths.scm (scip): New variable

Merges guix/guix!5989

Change-Id: I7f027c0dd6cd833aebb6b480c43bba11f0641af6
Signed-off-by: Cayetano Santos <csantosb@inventati.org>

1 files changed, 41 insertions, 0 deletions

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 162f1b6db41..328df569690 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")