bandits.mzn adapted to what's in the slides#6

dtonhofer wants to merge 1 commit intoMiniZinc:masterMiniZinc/specialization-examples:masterfrom

dtonhofer:patch-4dtonhofer/specialization-examples:patch-4Copy head branch name to clipboard