|
|
c6789ffb3a
|
Build custom (relevant) development version of MiniZinc
|
2021-02-24 13:57:27 +11:00 |
|
|
|
25eab7c46b
|
Update MiniZinc submodule to current develop version
|
2020-11-13 10:15:24 +11:00 |
|
|
|
c75c9fa338
|
Add MiniZinc and Chuffed submodules
|
2020-11-13 10:01:28 +11:00 |
|
