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 / p1f-pjs /
at develop 6 files
10.dzn
16.dzn
17.dzn
20.dzn
21.dzn
p1f-pjs.mzn