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

Update MiniZinc submodule to current develop version

Browse Source
This commit is contained in:
Jip J. Dekker 2020-11-13 10:15:24 +11:00
parent c75c9fa338
commit 25eab7c46b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
software/minizinc

@ -1 +1 @@
Subproject commit c619ad6a060ac4b6d3968429451fd83e3b9c1a54 Subproject commit 43597a1dfadae8af974f14c773fa4bf62588a3c7