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 / gbac /
at develop 6 files
UD10-gbac.dzn
UD9-gbac.dzn
gbac.mzn
reduced_UD2-gbac.dzn
reduced_UD5-gbac.dzn
reduced_UD7-gbac.dzn