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 / n17.dzn
at develop 1 lines 8 B view raw
1n = 17;