always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

new minizinc challenge entry

Browse Source
This commit is contained in:
Laurent Perron
2025-06-10 17:25:25 +02:00
parent 91d20f0350
commit 7c96dedea3
3 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ortools/flatzinc/challenge/Makefile
View File

@@ -18,7 +18,7 @@ DOCKER_BUILD_CMD := docker build
endif
DOCKER_RUN_CMD := docker run --rm --init
MZN_SUFFIX=2024v5
MZN_SUFFIX=2025v1
DOCKER_NAME=cp-sat-minizinc-challenge
MZN_TAG=${DOCKER_NAME}:${MZN_SUFFIX}
MZN_LS_TAG=${DOCKER_NAME}-ls:${MZN_SUFFIX}

6
ortools/flatzinc/challenge/minizinc-challenge-ls.Dockerfile
View File

@@ -1,4 +1,4 @@
FROM minizinc/mznc2024:latest AS env
FROM minizinc/mznc2025:latest AS env
ENV SRC_GIT_BRANCH v99bugfix
@@ -29,4 +29,6 @@ RUN ln -s /root/or-tools/bazel-bin/ortools/flatzinc/fz /entry_data/fzn-exec
RUN cp /root/or-tools/ortools/flatzinc/mznlib/*mzn /entry_data/mzn-lib
# Patch the run scripts
RUN sed -i -e "s/-G/--fzn-flags --params=use_ls_only:true -G/g" /minizinc/mzn-exec-*
RUN sed -i -e "s/-G/--fzn-flags --params=use_ls_only:true -p 1 -G/g" /minizinc/mzn-exec-fd
RUN sed -i -e "s/-G/--fzn-flags --params=use_ls_only:true,num_workers:3 -G/g" /minizinc/mzn-exec-free
RUN sed -i -e "s/-G/--fzn-flags --params=use_ls_only:true -G/g" /minizinc/mzn-exec-par

2
ortools/flatzinc/challenge/minizinc-challenge.Dockerfile
View File

@@ -1,4 +1,4 @@
FROM minizinc/mznc2024:latest AS env
FROM minizinc/mznc2025:latest AS env
ENV SRC_GIT_BRANCH v99bugfix