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")