dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug53.mzn
at develop 209 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3annotation simpleann; 4annotation composeann(ann: s) = seq_search([s,s]); 5function ann: annfunc(ann: s) = composeann(s); 6solve :: annfunc(composeann(simpleann)) satisfy;