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