GitHub repository: HelgeS/minizinc-benchmarks
Primary language: C
Description: A suite of MiniZinc benchmarks.