Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
MiniZinc
Fetched on 2026/03/02 20:53
MiniZinc
/
MiniZincIDE
The MiniZinc IDE -
View it on GitHub
http://www.minizinc.org
Star
168
Rank
205681
