File Type Notes
bacp10.dat dat
bacp12.dat dat
bacp8.dat dat
bacp_MiniZinc_Benchmarks.zip zip mzn data files for curriculum.mzn.model