MiniZinc

以 MiniZinc 为主要语言、收录中的开源项目，按星标数排序。