bandits.mzn adapted to what's in the slides

[dtonhofer]

Introduced SIZE and POINT as used on the slides.

Changed comments for clarity: "points" <-> "tunnel exits" and "cells" <-> "huts"

Changed i,j, to x,y in forall to correspond to predicate call

Added symmetry-breaking constraint to make the solution canonical.

With Gecode:

Row: [2, 7, 7]
Col: [5, 2, 8]
Cost: 19
----------
Row: [3, 5, 7]
Col: [6, 2, 6]
Cost: 18
----------
==========
Finished in 325msec

[dtonhofer]

Hi people. What are we going to do with this? Reject? Accept?