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 / tower_challenge /
at develop 6 files
tower.mzn
tower_070_070_15_070-04.dzn
tower_070_070_15_070-06.dzn
tower_070_070_15_100-04.dzn
tower_070_070_15_100-05.dzn
tower_070_070_30_100-05.dzn