Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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"];
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement