Dekker1/half-reif-benchmarks
Archived
1
0
Fork 0
Code

Add MiniZinc and Chuffed submodules

Browse Source
This commit is contained in:
Jip J. Dekker 2020-11-13 10:01:28 +11:00
parent 8b8f362803
commit c75c9fa338
3 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitmodules vendored Normal file
View File

@ -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

1
software/chuffed Submodule

@ -0,0 +1 @@
Subproject commit 2ed0c01558d2a5c49c1ce57e048d32c17adf92d3

1
software/minizinc Submodule

@ -0,0 +1 @@
Subproject commit c619ad6a060ac4b6d3968429451fd83e3b9c1a54