From 25eab7c46beafee6463cc14145fe6d7138a6a969 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Fri, 13 Nov 2020 10:15:24 +1100
Subject: [PATCH] Update MiniZinc submodule to current develop version

---
 software/minizinc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/software/minizinc b/software/minizinc
index c619ad6..43597a1 160000
--- a/software/minizinc
+++ b/software/minizinc
@@ -1 +1 @@
-Subproject commit c619ad6a060ac4b6d3968429451fd83e3b9c1a54
+Subproject commit 43597a1dfadae8af974f14c773fa4bf62588a3c7