diff options
| author | Herman Rimm <herman@rimm.ee> | 2025-05-23 08:19:41 +0200 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2026-04-07 17:25:09 +0900 |
| commit | d9a7cdd73155c0911645ab5cb7d90c065d169d26 (patch) | |
| tree | 8cf15601f8a6580d15ebbe7bef24c681fb211686 /gnu | |
| parent | da204c65db29814d3bcd75c1e036be146584ddbe (diff) | |
gnu: minizinc: Add Google's OR-Tools as solver.
* 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 <cnx@loang.net>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/maths.scm | 5 |
1 files changed, 3 insertions, 2 deletions
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 |