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 / racp /
at develop 6 files
j30_26_2_1.0.dzn
j60_10_6_1.25.dzn
j60_13_4_1.0.dzn
j60_48_9_1.0.dzn
j60_9_9_1.25.dzn
racp.mzn