dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / multi-knapsack / mknap2-10.meta
at develop 106 B view raw
1MODEL=mknapsack_global.mzn 2DATA=mknap2-10.dzn 3METHOD=max 4TAGS=challenge2019,multi-knapsack 5TIMELIMIT=1200