final minizinc release
This commit is contained in:
@@ -307,7 +307,7 @@ distclean_python: clean_python
|
||||
##########################
|
||||
## MINIZINC CHALLENGE ##
|
||||
##########################
|
||||
MZN_TAG=or-tools-minizinc-challenge:2019v2
|
||||
MZN_TAG=or-tools-minizinc-challenge:2019v3
|
||||
|
||||
minizinc-challenge-image:
|
||||
docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .
|
||||
|
||||
Reference in New Issue
Block a user