From c75c9fa338e58f8e2ec1e1d980e01fa09486d5d0 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Fri, 13 Nov 2020 10:01:28 +1100 Subject: [PATCH] Add MiniZinc and Chuffed submodules --- .gitmodules | 8 ++++++++ software/chuffed | 1 + software/minizinc | 1 + 3 files changed, 10 insertions(+) create mode 100644 .gitmodules create mode 160000 software/chuffed create mode 160000 software/minizinc diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..b461824 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,8 @@ +[submodule "software/chuffed"] + path = software/chuffed + url = git@github.com:Dekker1/chuffed.git + branch = feature/imp_globals +[submodule "software/minizinc"] + path = software/minizinc + url = git@github.com:Dekker1/libminizinc.git + branch = develop diff --git a/software/chuffed b/software/chuffed new file mode 160000 index 0000000..2ed0c01 --- /dev/null +++ b/software/chuffed @@ -0,0 +1 @@ +Subproject commit 2ed0c01558d2a5c49c1ce57e048d32c17adf92d3 diff --git a/software/minizinc b/software/minizinc new file mode 160000 index 0000000..c619ad6 --- /dev/null +++ b/software/minizinc @@ -0,0 +1 @@ +Subproject commit c619ad6a060ac4b6d3968429451fd83e3b9c1a54