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 / mznc2019 / triangular / n29.meta
at develop 5 lines 90 B view raw
1MODEL=triangular.mzn 2DATA=n29.dzn 3METHOD=max 4TAGS=challenge2019,triangular 5TIMELIMIT=1200