dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug53.mzn
at develop 224 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5***/ 6 7annotation simpleann; 8annotation composeann(ann: s) = seq_search([s,s]); 9function ann: annfunc(ann: s) = composeann(s); 10solve :: annfunc(composeann(simpleann)) satisfy;