MINION 3

**VARIABLES**
DISCRETE s0[12] {0..11}
DISCRETE s1[12] {0..11}
DISCRETE s2[12] {0..11}
DISCRETE s3[12] {0..11}
DISCRETE s4[12] {0..11}
DISCRETE s5[12] {0..11}
DISCRETE s6[12] {0..11}
DISCRETE s7[12] {0..11}
DISCRETE s8[12] {0..11}
DISCRETE s9[12] {0..11}
DISCRETE s10[12] {0..11}
DISCRETE s11[12] {0..11}


**SEARCH**

PRINT[
[s0],[s1],[s2],[s3],[s4],[s5],[s6],[s7],[s8],[s9],[s10],[s11]]

VARORDER [
s0 , s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11]


**CONSTRAINTS**

alldiff([ s0[0], s0[1], s0[2], s0[3], s0[4], s0[5], s0[6], s0[7], s0[8], s0[9], s0[10], s0[11]])
alldiff([ s1[0], s1[1], s1[2], s1[3], s1[4], s1[5], s1[6], s1[7], s1[8], s1[9], s1[10], s1[11]])
alldiff([ s2[0], s2[1], s2[2], s2[3], s2[4], s2[5], s2[6], s2[7], s2[8], s2[9], s2[10], s2[11]])
alldiff([ s3[0], s3[1], s3[2], s3[3], s3[4], s3[5], s3[6], s3[7], s3[8], s3[9], s3[10], s3[11]])
alldiff([ s4[0], s4[1], s4[2], s4[3], s4[4], s4[5], s4[6], s4[7], s4[8], s4[9], s4[10], s4[11]])
alldiff([ s5[0], s5[1], s5[2], s5[3], s5[4], s5[5], s5[6], s5[7], s5[8], s5[9], s5[10], s5[11]])
alldiff([ s6[0], s6[1], s6[2], s6[3], s6[4], s6[5], s6[6], s6[7], s6[8], s6[9], s6[10], s6[11]])
alldiff([ s7[0], s7[1], s7[2], s7[3], s7[4], s7[5], s7[6], s7[7], s7[8], s7[9], s7[10], s7[11]])
alldiff([ s8[0], s8[1], s8[2], s8[3], s8[4], s8[5], s8[6], s8[7], s8[8], s8[9], s8[10], s8[11]])
alldiff([ s9[0], s9[1], s9[2], s9[3], s9[4], s9[5], s9[6], s9[7], s9[8], s9[9], s9[10], s9[11]])
alldiff([ s10[0], s10[1], s10[2], s10[3], s10[4], s10[5], s10[6], s10[7], s10[8], s10[9], s10[10], s10[11]])
alldiff([ s11[0], s11[1], s11[2], s11[3], s11[4], s11[5], s11[6], s11[7], s11[8], s11[9], s11[10], s11[11]])

alldiff([ s0[0], s1[0], s2[0], s3[0], s4[0], s5[0], s6[0], s7[0], s8[0], s9[0], s10[0], s11[0]])
alldiff([ s0[1], s1[1], s2[1], s3[1], s4[1], s5[1], s6[1], s7[1], s8[1], s9[1], s10[1], s11[1]])
alldiff([ s0[2], s1[2], s2[2], s3[2], s4[2], s5[2], s6[2], s7[2], s8[2], s9[2], s10[2], s11[2]])
alldiff([ s0[3], s1[3], s2[3], s3[3], s4[3], s5[3], s6[3], s7[3], s8[3], s9[3], s10[3], s11[3]])
alldiff([ s0[4], s1[4], s2[4], s3[4], s4[4], s5[4], s6[4], s7[4], s8[4], s9[4], s10[4], s11[4]])
alldiff([ s0[5], s1[5], s2[5], s3[5], s4[5], s5[5], s6[5], s7[5], s8[5], s9[5], s10[5], s11[5]])
alldiff([ s0[6], s1[6], s2[6], s3[6], s4[6], s5[6], s6[6], s7[6], s8[6], s9[6], s10[6], s11[6]])
alldiff([ s0[7], s1[7], s2[7], s3[7], s4[7], s5[7], s6[7], s7[7], s8[7], s9[7], s10[7], s11[7]])
alldiff([ s0[8], s1[8], s2[8], s3[8], s4[8], s5[8], s6[8], s7[8], s8[8], s9[8], s10[8], s11[8]])
alldiff([ s0[9], s1[9], s2[9], s3[9], s4[9], s5[9], s6[9], s7[9], s8[9], s9[9], s10[9], s11[9]])
alldiff([ s0[10], s1[10], s2[10], s3[10], s4[10], s5[10], s6[10], s7[10], s8[10], s9[10], s10[10], s11[10]])
alldiff([ s0[11], s1[11], s2[11], s3[11], s4[11], s5[11], s6[11], s7[11], s8[11], s9[11], s10[11], s11[11]])

eq(s0[2], 0)
eq(s0[5], 3)
eq(s0[6], 8)
eq(s0[9], 10)
eq(s0[10], 2)
eq(s0[11], 9)
eq(s1[1], 6)
eq(s1[3], 3)
eq(s1[4], 10)
eq(s1[5], 5)
eq(s1[7], 4)
eq(s1[10], 1)
eq(s2[0], 5)
eq(s2[1], 0)
eq(s2[4], 9)
eq(s2[7], 2)
eq(s2[8], 11)
eq(s2[9], 1)
eq(s3[1], 4)
eq(s3[7], 7)
eq(s3[8], 9)
eq(s3[9], 5)
eq(s3[10], 0)
eq(s3[11], 3)
eq(s4[0], 6)
eq(s4[1], 5)
eq(s4[2], 4)
eq(s4[5], 0)
eq(s4[10], 7)
eq(s4[11], 8)
eq(s5[0], 0)
eq(s5[2], 3)
eq(s5[4], 5)
eq(s5[6], 10)
eq(s5[7], 8)
eq(s5[8], 6)
eq(s6[0], 1)
eq(s6[2], 5)
eq(s6[3], 11)
eq(s6[10], 4)
eq(s6[11], 10)
eq(s7[0], 3)
eq(s7[2], 9)
eq(s7[3], 0)
eq(s7[5], 1)
eq(s7[11], 7)
eq(s8[3], 2)
eq(s8[4], 8)
eq(s8[5], 11)
eq(s8[7], 9)
eq(s8[8], 1)
eq(s8[11], 0)
eq(s9[1], 1)
eq(s9[2], 2)
eq(s9[3], 6)
eq(s9[6], 0)
eq(s9[8], 10)
eq(s9[9], 9)
eq(s10[0], 8)
eq(s10[1], 3)
eq(s10[4], 0)
eq(s10[5], 9)
eq(s10[6], 11)
eq(s10[9], 2)
eq(s11[4], 6)
eq(s11[6], 1)
eq(s11[7], 0)
eq(s11[9], 3)
eq(s11[10], 9)

**EOF**
