dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / anon_var_flatten.mzn
at develop 181 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 5array [1..2] of var set of 0..9: x = [{0}, _]; 6solve satisfy; 7output ["x = ", show(x), ";\n"];