dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug66.mzn
at develop 233 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5 solution: !Solution 6 s1: !set {1} 7 s2: !Range 1..2 8***/ 9 10var set of 1..1: s1; 11var set of 1..3: s2; 12 13constraint s2 = s1 union if 1 in s1 then {2} else {3} endif; 14 15solve satisfy;