Use MiniZinc 2.6.4 in testing

.travis.yml

@@ -5,10 +5,10 @@ language: scala
 jdk: openjdk11
 
 install:
-  - wget https://github.com/MiniZinc/MiniZincIDE/releases/download/2.6.3/MiniZincIDE-2.6.3-bundle-linux-x86_64.tgz
-  - tar xzf MiniZincIDE-2.6.3-bundle-linux-x86_64.tgz
-  - export PATH=$PWD/MiniZincIDE-2.6.3-bundle-linux-x86_64/bin:$PATH
-  - export LD_LIBRARY_PATH=$PWD/MiniZincIDE-2.6.3-bundle-linux-x86_64/lib:$LD_LIBRARY_PATH
+  - wget https://github.com/MiniZinc/MiniZincIDE/releases/download/2.6.4/MiniZincIDE-2.6.4-bundle-linux-x86_64.tgz
+  - tar xzf MiniZincIDE-2.6.4-bundle-linux-x86_64.tgz
+  - export PATH=$PWD/MiniZincIDE-2.6.4-bundle-linux-x86_64/bin:$PATH
+  - export LD_LIBRARY_PATH=$PWD/MiniZincIDE-2.6.4-bundle-linux-x86_64/lib:$LD_LIBRARY_PATH
 
 script:
   - make ci-tests

README.md

@@ -29,14 +29,14 @@ When you decided for the ZIP package, proceed as follows:
 
 1. Make sure that a [Java runtime environment](https://openjdk.java.net/install) is available on your system; Yuck requires at least version 8.
 2. Unzip the package in a suitable location.
-3. To register Yuck as a backend for the MiniZinc toolchain, define the ```MZN_SOLVER_PATH``` environment variable to point to the ```mzn``` subfolder of the Yuck distribution. (For other ways of providing a solver configuration file to the MiniZinc toolchain, see the section on [Solver Configuration Files](http://www.minizinc.org/doc-2.6.3/en/fzn-spec.html#solver-configuration-files) of *The MiniZinc Handbook*.)
+3. To register Yuck as a backend for the MiniZinc toolchain, define the ```MZN_SOLVER_PATH``` environment variable to point to the ```mzn``` subfolder of the Yuck distribution. (For other ways of providing a solver configuration file to the MiniZinc toolchain, see the section on [Solver Configuration Files](http://www.minizinc.org/doc-2.6.4/en/fzn-spec.html#solver-configuration-files) of *The MiniZinc Handbook*.)
 4. If you want to use Yuck on Windows with a MiniZinc version prior to 2.6.0, you need to take another step to work around a bug in MiniZinc: go to the ```mzn``` subfolder of the Yuck distribution, open the file ```yuck.msc```, find the line ```"executable": "../bin/yuck"``` and replace it with ```"executable": "../bin/yuck.bat"```.
 
 The Docker image contains an OpenJDK Java runtime, the MiniZinc compiler and Yuck itself; it neither contains the MiniZinc IDE nor other solvers.
 
 ## Usage as MiniZinc backend
 
-To apply Yuck to MiniZinc models, you need a working [MiniZinc](https://www.minizinc.org/software.html) installation. This section assumes that you have at least version 2.6.3 installed and that Yuck has been properly registered as a MiniZinc backend (see above).
+To apply Yuck to MiniZinc models, you need a working [MiniZinc](https://www.minizinc.org/software.html) installation. This section assumes that you have at least version 2.6.4 installed and that Yuck has been properly registered as a MiniZinc backend (see above).
 
 To use Yuck from inside the MiniZinc IDE, just select it from the menu of solver configurations before running your model.
 
@@ -423,7 +423,7 @@ To build and rebuild Yuck and its documentation, use the following targets:
 ### Testing
 
 Yuck tests are based on [JUnit 4](http://junit.org/junit4/) and
-[MiniZinc 2.6.3](http://www.minizinc.org/software.html).
+[MiniZinc 2.6.4](http://www.minizinc.org/software.html).
 
 * `make unit-tests` builds and runs all unit tests.
 * `make front-end-tests` runs all FlatZinc front-end tests.

docker/Dockerfile

@@ -15,7 +15,7 @@ RUN apt-get install -y openjdk-17-jre-headless && \
 ENV LC_ALL=C.UTF-8
 
 # Install MiniZinc compiler
-ARG minizinc_version=2.6.3
+ARG minizinc_version=2.6.4
 LABEL minizinc_version=${minizinc_version}
 RUN apt-get install -y bison clang cmake flex git && \
     git clone https://github.com/MiniZinc/libminizinc.git && \