this repo has no description
dekker.one
1var int: item1;
2var int: item2;
3var int: item3;
4var int: item4;
5
6constraint item1 + item2 + item3 + item4 == 711;
7constraint item1 * item2 * item3 * item4 == 711 * 100 * 100 * 100;
8
9constraint 0 < item1 /\ item1 <= item2
10 /\ item2 <= item3 /\ item3 <= item4;
11
12solve satisfy;
13
14output ["{", show(item1), ",", show(item2), ",", show(item3), ",",
15 show(item4),"}\n"];