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 / stable-goods /
at develop 6 files
s-d16.dzn
s-d19.dzn
s-d6.dzn
s-d7.dzn
s-d8.dzn
stable-goods-solution.mzn