File: fzn_on_restart_sol_set.mzn

package info (click to toggle)
gecode-snapshot 6.2.0%2Bgit20240207-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 35,308 kB
  • sloc: cpp: 475,516; perl: 2,077; makefile: 1,816; sh: 198
file content (3 lines) | stat: -rw-r--r-- 274 bytes parent folder | download 
1
2
3
 
/* Set `out` to be a the last solution value of `input` on each restart */
predicate fzn_on_restart_sol_set(var set of int: input, var set of int: out) = gecode_on_restart_sol_set(input, out);
predicate gecode_on_restart_sol_set(var set of int: input, var set of int: out);