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

A set of benchmarks to compare a new prototype MiniZinc implementation

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

at develop 103 B view raw

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