dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / test_concat3.mzn
at develop 151 B view raw
1 2array[1..4] of string: a = ["A", "B", "C", "D"]; 3string: s = concat([a[4], a[2], a[3], a[1]]); 4constraint s = "DBCA"; 5solve satisfy; 6output ["Ok\n"];