minizinc challenge 2020:v3

This commit is contained in:
Laurent Perron
2020-08-26 23:03:05 +02:00
parent e6dfae2ac8
commit 02ef9a541f

View File

@@ -312,7 +312,7 @@ distclean: clean | export/archives
##########################
## MINIZINC CHALLENGE ##
##########################
MZN_TAG=or-tools-minizinc-challenge:2020v1
MZN_TAG=or-tools-minizinc-challenge:2020v3
minizinc-challenge-image:
docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .