mzn-rewriting/median-string/p2_2_20-2.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / median-string / p2_2_20-2.dzn

at develop 190 B view raw

1num_strings=2;
2max_length_strings=20;
3max_length_median=20;
4max_char=4;
5strings=[|4,4,4,1,4,3,1,3,4,1,0,0,0,0,0,0,0,0,0,0|2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|];
6str_length=[10,2];