From d9a7cdd73155c0911645ab5cb7d90c065d169d26 Mon Sep 17 00:00:00 2001 From: Herman Rimm Date: Fri, 23 May 2025 08:19:41 +0200 Subject: gnu: minizinc: Add Google's OR-Tools as solver. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/maths.scm (minizinc)[inputs]: Add or-tools. [arguments]<#:phases>{install-solver-configs}: Install OR-Tools' config. Change-Id: Ibc301b458487c3465251c1c6d97f5858d7d6d59e Signed-off-by: Nguyễn Gia Phong --- gnu/packages/maths.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index da8009b1cbf..239e4ef2741 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -5076,6 +5076,7 @@ book.") (lambda _ (let ((chuffed #$(this-package-input "chuffed")) (gecode #$(this-package-input "gecode")) + (or-tools #$(this-package-input "or-tools")) (pkgdatadir (string-append #$output "/share/minizinc"))) (call-with-output-file (string-append pkgdatadir @@ -5096,11 +5097,11 @@ book.") (copy-recursively (string-append solver "/share/minizinc/solvers") (string-append pkgdatadir "/solvers"))) - (list gecode chuffed)))))))) + (list chuffed gecode or-tools)))))))) (native-inputs (list bison flex)) (inputs - (list cbc chuffed gecode zlib)) + (list cbc chuffed gecode or-tools zlib)) (home-page "https://www.minizinc.org") (synopsis "High-level constraint modeling language") (description "MiniZinc is a high-level modeling language for constraint -- cgit v1.3