dekker.one / mzn-byte-benchmarks
Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
fork atom
mzn-byte-benchmarks / flatten / roster /
at develop 21 files
chicroster_dataset_1.dzn
chicroster_dataset_10.dzn
chicroster_dataset_11.dzn
chicroster_dataset_12.dzn
chicroster_dataset_14.dzn
chicroster_dataset_17.dzn
chicroster_dataset_2.dzn
chicroster_dataset_3.dzn
chicroster_dataset_4.dzn
chicroster_dataset_5.dzn
chicroster_dataset_6.dzn
chicroster_dataset_7.dzn
chicroster_dataset_8.dzn
chicroster_dataset_9.dzn
chicroster_dataset_large_13.dzn
chicroster_dataset_large_15.dzn
chicroster_dataset_large_16.dzn
chicroster_dataset_large_18.dzn
chicroster_dataset_large_19.dzn
chicroster_dataset_large_20.dzn
roster_model.mzn