GITHUB ORGANIZATION
MiniZinc — GitHub organization
MiniZinc has 1.5k stars across their public GitHub repositories, ranking #7870 globally among GitHub organizations.
Top repositories
How many GitHub stars does MiniZinc have?
MiniZinc has 1.5k stars across their public repositories, ranking #7870 globally.
What is MiniZinc's most-starred repository?
Their most-starred public repository is libminizinc, with 695 stars.
Is MiniZinc an individual or an organization?
This is a GitHub organization account.