dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / stack-cuttingstock / d3.meta
at develop 106 B view raw
1MODEL=stack-cutstock-cumu.mzn 2DATA=d3.dzn 3METHOD=min 4TAGS=challenge2019,stack-cuttingstock 5TIMELIMIT=1200