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 /
at develop 11 files
n10.dzn
n10.meta
n17.dzn
n17.meta
n23.dzn
n23.meta
n29.dzn
n29.meta
n37.dzn
n37.meta
triangular.mzn