aboutsummaryrefslogtreecommitdiff
path: root/math/gecode/files
Commit message (Expand)AuthorAgeFilesLines
* math/gecode: Fix build for the GIST option.Yuri Victorovich2021-12-182-0/+31
* math/gecode: Update 6.2.0 -> 6.3.0 (from branch)Yuri Victorovich2021-05-061-9/+0
* math/gecode: Install MiniZinc config fileYuri Victorovich2021-05-041-0/+9