mzn-rewriting/median-string/p2_4_20-0.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_4_20-0.dzn

at develop 273 B view raw

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