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

A set of benchmarks to compare a new prototype MiniZinc implementation

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

at develop 109 B view raw

1n = 12;
2size = [2,5,7,8,9,12,13,15,17,20,23,40];
3number = [5,2,1,3,2,8,6,2,7,2,8,3];
4sl = 7;
5
6s = 40;
7k = 6;