software/mza/tests/unit/evaluation/minizinc/general/md_sum_float.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / md_sum_float.mzn

at develop 226 B view raw

 1% RUNS ON mzn20_fd
 2% RUNS ON mzn-fzn_fd
 3% Test sum/1 for floats with multi-dimensional arrays.
 4
 5float : a = sum([|1.0, 2.0, 3.0, 4.0, 5.0 | 6.0, 7.0, 8.0, 9.0, 10.0|]);
 6
 7solve satisfy;
 8
 9output [
10   "% a = ", show(a), ";\n"
11];