MiniZinc

MiniZinc 收錄中的開源專案，依星數排序。