Skip to content

Fixed link to MiniZinc/FlatZinc#1

Merged
chschulte merged 1 commit intoGecode:masterfrom
HelgeS:patch-1
May 5, 2019
Merged

Fixed link to MiniZinc/FlatZinc#1
chschulte merged 1 commit intoGecode:masterfrom
HelgeS:patch-1

Commits

Commits on May 3, 2019