MiniZinc GitHub repos

1 MiniZinc repo in the catalog, most starred first.