dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / 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