dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / data / mznc2020 / soccer-computational /
at develop 6 files
ecp.mzn
xIGData_22_12_22_5.dzn
xIGData_24_24_16_1.dzn
xIGData_28_22_7_4.dzn
xIGData_28_23_16_1.dzn
xIGData_30_25_15_4.dzn