Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
at develop 7 lines 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;