dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / nvalue / globals_nvalue.mzn
at develop 354 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 6include "nvalue.mzn"; 7 8array[1..4] of var 1..5: a; 9var 1..10: n; 10 11constraint nvalue(n, [1, 1, 2, 2, 3, 3]); 12constraint nvalue(4, [3, 1, 7, 16]); 13constraint nvalue(3, a); 14 15solve satisfy; 16 17output [ 18 "a = array1d(1..4, ", show(a), ");\n", 19 "n = ", show(n), ";\n" 20];