dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / xor_mixed_context.mzn
at develop 262 B view raw
1/*** 2!Test 3expected: !Result 4 solution: !Solution 5 x: [1, 0, 1] 6***/ 7 8array[1..3] of var 0..1: x; % 0 = Knight, 1 = Knave 9 10constraint (x[1] = 1) xor (sum(x) = 1); 11constraint (x[2] = 1) xor (sum(x) = 2); 12constraint (x[3] = 1) xor (sum(x) = 3); 13 14solve satisfy;