dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug45.mzn
at develop 178 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3var 1..1: i; 4predicate losseq(array[int] of var int: a) = sum([1 | e in a where e >= 1]) = 1; 5constraint losseq([0,0,0,1]); 6solve satisfy;