this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected:
5- !Result
6 status: SATISFIED
7 solution: !Solution
8 p: 1
9 xs: [1, 1, 1, 1]
10- !Result
11 status: SATISFIED
12 solution: !Solution
13 p: 140
14 xs: [2, 7, 10, 1]
15- !Result
16 status: SATISFIED
17 solution: !Solution
18 p: 700
19 xs: [10, 10, 7, 1]
20- !Result
21 status: SATISFIED
22 solution: !Solution
23 p: 1000
24 xs: [1, 10, 10, 10]
25- !Result
26 status: SATISFIED
27 solution: !Solution
28 p: 1000
29 xs: [10, 10, 1, 10]
30***/
31
32array [1..4] of var 1..10: xs :: add_to_output;
33var 0..1000: p :: add_to_output = product(xs);
34solve satisfy;