dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / test_var_prod.mzn
at develop 205 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3% RUNS ON mzn20_mip 4array [1..4] of var 1..10: xs; 5var 0..1000: p = product(xs); 6solve satisfy; 7output [ 8 "p = ", show(p), ";\n", 9 "xs = ", show(xs), ";\n" 10];