cardel

Modelo Zebra

Jun 18th, 2019
608
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. include "alldifferent.mzn";
  2.  
  3. var 1..5: english; var 1..5: spanish; var 1..5: japones; var 1..5: italian; var 1..5: nor;
  4. var 1..5: dog; var 1..5: snail; var 1..5: fox; var 1..5: horse; var 1..5: zebra;
  5. var 1..5: pintor; var 1..5: esculptor; var 1..5: diplomat; var 1..5: violinis; var 1..5: doctor;
  6. var 1..5: tea; var 1..5: cofee; var 1..5: water; var 1..5: milk; var 1..5: juice;
  7. var 1..5: red; var 1..5: blue; var 1..5: white; var 1..5: green; var 1..5: yellow;
  8.  
  9. constraint alldifferent([english,spanish,japones,italian,nor]);
  10. constraint alldifferent([dog,snail,fox,horse,zebra]);
  11. constraint alldifferent([pintor,esculptor,diplomat,violinis,doctor]);
  12. constraint alldifferent([tea,cofee,water,milk,juice]);
  13. constraint alldifferent([red,blue,white,green,yellow]);
  14.  
  15. constraint english = red;
  16. constraint spanish = dog;
  17. constraint japones = pintor;
  18. constraint italian = tea;
  19. constraint nor = 1;
  20. constraint green = cofee;
  21. constraint green = white + 1;
  22. constraint esculptor = snail;
  23. constraint diplomat = yellow;
  24. constraint milk = 3;
  25. constraint abs(nor-blue) = 1;
  26. constraint violinis = juice;
  27. constraint abs(fox-doctor) = 1;
  28. constraint abs(horse-diplomat)=1;
  29.  
  30. solve satisfy;
  31.  
  32. output ["English=\(english)\t spanish=\(spanish)\t japones=\(japones)\t italian=\(italian)\t noruego=\(nor)\n"];
RAW Paste Data

Adblocker detected! Please consider disabling it...

We've detected AdBlock Plus or some other adblocking software preventing Pastebin.com from fully loading.

We don't have any obnoxious sound, or popup ads, we actively block these annoying types of ads!

Please add Pastebin.com to your ad blocker whitelist or disable your adblocking software.

×