language ESSENCE' 1.b.a
$ Killer Sudoko instance, by Andras Salamon
$ specify last index in array lt; lt[0] is first entry
param lastdx is 25
$ [t,i1,j1,i2,j2,i3,j3,i4,j4] requires that
$ t = values[i1,j1] + values[i2,j2] + values[i3,j3] + values[i4,j4]
$ 0,0 is a dummy value that is ignored
$ would be better done with lists, if we had lists...
param cage is
[
[3,1,1,1,2,0,0,0,0],
[23,1,3,1,4,1,5,1,6],
[29,1,7,1,8,2,7,3,7],
[6,1,9,2,8,2,9,0,0],
[20,2,1,3,1,4,1,0,0],
[23,2,2,2,3,3,2,3,3],
[22,2,4,2,5,2,6,0,0],
[12,3,4,3,5,3,6,4,4],
[8,3,8,4,7,4,8,0,0],
[14,3,9,4,9,0,0,0,0],
[13,4,2,4,3,0,0,0,0],
[7,4,5,4,6,0,0,0,0],
[11,5,1,5,2,5,3,6,3],
[8,5,4,6,4,0,0,0,0],
[21,5,5,5,6,5,7,0,0],
[27,5,8,5,9,6,7,6,8],
[14,6,1,6,2,0,0,0,0],
[14,6,5,6,6,7,5,0,0],
[10,6,9,7,8,7,9,0,0],
[25,7,1,7,2,7,3,7,4],
[7,7,6,7,7,8,6,0,0],
[16,8,1,8,2,9,1,9,2],
[12,8,3,9,3,0,0,0,0],
[18,8,4,8,5,9,4,9,5],
[22,8,7,8,8,8,9,0,0],
[20,9,6,9,7,9,8,9,9]
]