Update MiniZinc version in the CI to 2.7.0

Author: Dekker1

.github/workflows/python-package.yml

@@ -12,9 +12,10 @@ jobs:
     strategy:
       matrix:
         python-version: ["3.7", "3.10", "pypy3.7"]
+        minizinc-version: ["2.7.0"]
 
     env:
-      MINIZINC_URL: https://github.com/MiniZinc/MiniZincIDE/releases/download/2.6.4/MiniZincIDE-2.6.4-x86_64.AppImage
+      MINIZINC_URL: https://github.com/MiniZinc/MiniZincIDE/releases/download/${{ matrix.minizinc-version }}/MiniZincIDE-${{ matrix.minizinc-version }}-x86_64.AppImage
     steps:
       - uses: actions/checkout@v3
         with:

CHANGELOG.rst

@@ -9,10 +9,15 @@ this project adheres to `Semantic Versioning <https://semver.org/>`_.
 Unreleased_
 ------------
 
+Changed
+^^^^^^^
+
+- Minimum supported version of MiniZinc has increased from 2.5.0 to 2.5.4.
+
 Fixed
 ^^^^^
 
-- Ensure time events send using the json stream are parsed as ``timedelta``
+- Ensure time events send using the JSON stream are parsed as ``timedelta``
   objects.
 - Pass JSON definitions in using JSON instead of generated DZN files..
 

src/minizinc/driver.py

@@ -22,7 +22,7 @@
 from .solver import Solver
 
 #: MiniZinc version required by the python package
-CLI_REQUIRED_VERSION = (2, 5, 0)
+CLI_REQUIRED_VERSION = (2, 5, 4)
 #: Default locations on MacOS where the MiniZinc packaged release would be installed
 MAC_LOCATIONS = [
     str(Path("/Applications/MiniZincIDE.app/Contents/Resources")),