this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5 solution: !Solution
6 xs: [1, 2, 3, 1, 2, 3]
7***/
8
9array [1..6] of var 1..3: xs;
10
11array [1..6] of string: ss = ["a", "b", "c", "a", "b", "c"];
12
13constraint
14 forall (i, j in 1..6 where i < j /\ ss[i] < ss[j]) (xs[i] < xs[j]);
15
16solve satisfy;