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