dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_not_in.mzn
at develop 215 B view raw
1/*** 2!Test 3expected: 4- !Result 5 status: SATISFIED 6 solution: !Solution 7 bla: 2 8- !Result 9 status: SATISFIED 10 solution: !Solution 11 bla: 4 12***/ 13 14var {2,4}: bla; 15constraint not (bla in {1,3}); 16solve satisfy;