dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / test_array2.mzn
at develop 269 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3% RUNS ON mzn20_mip 4%% has solution i = 4 in relational 5%% no solution in strict and Kleene 6 7array [1..3] of int: x = [1, 4, 9]; 8 9var 1..4: i; 10 11constraint x[i] < 11 -> i > 3; 12 13solve satisfy; 14 15output ["i = ", show(i), ";\n"];