File Type Notes
non_MiniZinc_Benchmarks_Results.zip zip Results for dzn files for non.mzn