File Type Notes
bibd_MiniZinc_Benchmarks.zip zip dzn files for bibd.mzn