From fbebfda7027b8f3edf445f29c2ba3404fb91f81f Mon Sep 17 00:00:00 2001 From: wout4 Date: Mon, 25 Mar 2024 01:20:05 +0100 Subject: [PATCH] remove higher minizinc requirement, was for testing --- cpmpy/solvers/minizinc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpmpy/solvers/minizinc.py b/cpmpy/solvers/minizinc.py index 617d972f5..c37342bbd 100644 --- a/cpmpy/solvers/minizinc.py +++ b/cpmpy/solvers/minizinc.py @@ -78,7 +78,7 @@ def supported(): import minizinc from minizinc import default_driver version_tuple = (2, 8, 0) # minimum required version - if default_driver.parsed_version >= (2, 8, 3): + if default_driver.parsed_version >= version_tuple: return True else: version = str(version_tuple[0])