this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4options:
5 all_solutions: true
6expected: !Result
7 solution: !SolutionSet
8 - !Solution
9 x: 1
10 - !Solution
11 x: 3
12 - !Solution
13 x: null
14***/
15
16% Regression test for issue where the incorrect solution x = 2 would be produced
17
18var opt {1, 3}: x;
19
20solve satisfy;