this repo has no description
dekker.one
1/***
2--- !Test
3solvers: [gecode]
4options:
5 all_solutions: true
6expected: !Result
7 solution:
8 - !Solution
9 a: 55.0
10--- !Test # Workaround for chuffed all-solution issue
11solvers: [chuffed]
12expected: !Result
13 solution: !Solution
14 a: 55.0
15***/
16
17float : a :: add_to_output = sum([|1.0, 2.0, 3.0, 4.0, 5.0 | 6.0, 7.0, 8.0, 9.0, 10.0|]);
18
19solve satisfy;