on-restart-benchmarks/radiation/01.dzn

m = 5;	% rows
n = 5;	% columns

% max intensity = 8
Intensity = [|
6, 7, 5, 6, 3 |
4, 2, 3, 1, 2 |
0, 1, 8, 0, 6 |
7, 5, 6, 4, 5 |
3, 4, 1, 3, 0
|];