this repo has no description
dekker.one
1% Test string comparison.
2%
3% RUNS ON mzn20_fd
4% RUNS ON mzn-fzn_fd
5% RUNS ON mzn20_fd_linear
6% RUNS ON mzn20_mip
7
8array [1..6] of var 1..3: xs;
9
10array [1..6] of string: ss = ["a", "b", "c", "a", "b", "c"];
11
12constraint
13 forall (i, j in 1..6 where i < j /\ ss[i] < ss[j]) (xs[i] < xs[j]);
14
15solve satisfy;
16
17output ["xs = ", show(xs), ";\n"];