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 / is /
at develop 6 files
A3PZaPjnUz.dzn
LeTaZW8Ij5.dzn
Ws5Q6fhGi5.dzn
YfFfEiuCQo.dzn
model.mzn
v1HjuSBQMb.dzn