File tree Expand file tree Collapse file tree 1 file changed +18
-6
lines changed
tests/spec/unit/globals/global_cardinality_closed Expand file tree Collapse file tree 1 file changed +18
-6
lines changed Original file line number Diff line number Diff line change 33expected:
44- !Result
55 solution: !Solution
6- x: [6, 5, 3, 3 ]
6+ x: [3, 3, 5, 6 ]
77- !Result
88 solution: !Solution
9- x: [5, 3, 3, 6]
9+ x: [3, 3, 6, 5 ]
1010- !Result
1111 solution: !Solution
12- x: [3, 6, 5, 3]
12+ x: [3, 5, 3, 6 ]
1313- !Result
1414 solution: !Solution
15- x: [3, 3, 5, 6]
15+ x: [3, 5, 6, 3 ]
1616- !Result
1717 solution: !Solution
18- x: [6, 3 , 3, 5]
18+ x: [3, 6 , 3, 5]
1919- !Result
2020 solution: !Solution
21- x: [3, 3, 6, 5]
21+ x: [3, 6, 5, 3]
22+ - !Result
23+ solution: !Solution
24+ x: [5, 3, 3, 6]
25+ - !Result
26+ solution: !Solution
27+ x: [5, 3, 6, 3]
2228- !Result
2329 solution: !Solution
2430 x: [5, 6, 3, 3]
31+ - !Result
32+ solution: !Solution
33+ x: [6, 3, 3, 5]
2534- !Result
2635 solution: !Solution
2736 x: [6, 3, 5, 3]
37+ - !Result
38+ solution: !Solution
39+ x: [6, 5, 3, 3]
2840***/
2941
3042include "global_cardinality_closed.mzn" ;
You can’t perform that action at this time.
0 commit comments