dekker.one / mzn-byte-benchmarks
This repository has no description
Star
Fork 0
Watch
mzn-byte-benchmarks flatten roster
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