Modelo Zebra

include "alldifferent.mzn";

var 1..5: english; var 1..5: spanish; var 1..5: japones; var 1..5: italian; var 1..5: nor;
var 1..5: dog; var 1..5: snail; var 1..5: fox; var 1..5: horse; var 1..5: zebra;
var 1..5: pintor; var 1..5: esculptor; var 1..5: diplomat; var 1..5: violinis; var 1..5: doctor;
var 1..5: tea; var 1..5: cofee; var 1..5: water; var 1..5: milk; var 1..5: juice;
var 1..5: red; var 1..5: blue; var 1..5: white; var 1..5: green; var 1..5: yellow;

constraint alldifferent([english,spanish,japones,italian,nor]);
constraint alldifferent([dog,snail,fox,horse,zebra]);
constraint alldifferent([pintor,esculptor,diplomat,violinis,doctor]);
constraint alldifferent([tea,cofee,water,milk,juice]);
constraint alldifferent([red,blue,white,green,yellow]);

constraint english = red;
constraint spanish = dog;
constraint japones = pintor;
constraint italian = tea;
constraint nor = 1;
constraint green = cofee;
constraint green = white + 1;
constraint esculptor = snail;
constraint diplomat = yellow;
constraint milk = 3;
constraint abs(nor-blue) = 1;
constraint violinis = juice;
constraint abs(fox-doctor) = 1;
constraint abs(horse-diplomat)=1;

solve satisfy;

output ["English=\(english)\t spanish=\(spanish)\t japones=\(japones)\t italian=\(italian)\t noruego=\(nor)\n"];