dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / stack-cuttingstock / d3.dzn
at develop 77 B view raw
1n = 5; 2size = [2,3,7,8,12]; 3number = [12,8,11,30,2]; 4sl = 2; 5 6s = 25; 7k = 4;