dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / multi-knapsack /
at develop 11 files
mknap1-5.dzn
mknap1-5.meta
mknap2-1.dzn
mknap2-1.meta
mknap2-10.dzn
mknap2-10.meta
mknap2-2.dzn
mknap2-2.meta
mknap2-40.dzn
mknap2-40.meta
mknapsack_global.mzn