mzn-rewriting/stack-cuttingstock/d7.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / stack-cuttingstock / d7.dzn

at develop 112 B view raw

1n = 12;
2size = [2,2,3,3,3,4,4,5,5,6,7,7];
3number = [15,12,11,13,22,8,16,12,27,12,8,23];
4sl = 4;
5
6s = 25;
7k = 6;