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 /etc | |
| 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 'etc')
0 files changed, 0 insertions, 0 deletions