Edit: this puzzle is also known as &quot;Einstein&#39;s Riddle&quot;

The [Who owns the Zebra][1] (you can [try the online version here][2]) is an example of a classic set of puzzles and I bet that most people on Stack Overflow can solve it with pen and paper. But what would a programmatic solution look like?

Based on the clues listed below...

 * There are five houses.
 * Each house has its own unique color.
 * All house owners are of different nationalities.
 * They all have different pets.
 * They all drink different drinks.
 * They all smoke different cigarettes.
 * The English man lives in the red house.
 * The Swede has a dog.
 * The Dane drinks tea.
 * The green house is on the left side of the white house.
 * They drink coffee in the green house.
 * The man who smokes Pall Mall has birds.
 * In the yellow house they smoke Dunhill.
 * In the middle house they drink milk.
 * The Norwegian lives in the first house.
 * The man who smokes Blend lives in the house next to the house with cats.
 * In the house next to the house where they have a horse, they smoke Dunhill.
 * The man who smokes Blue Master drinks beer.
 * The German smokes Prince.
 * The Norwegian lives next to the blue house.
 * They drink water in the house next to the house where they smoke Blend. 

...who owns the Zebra?


  [1]: https://en.wikipedia.org/wiki/Zebra_Puzzle
  [2]: https://www.brainzilla.com/logic/zebra/einsteins-riddle/ &quot;Einstein&#39;s Riddle&quot;

All Constraint Programming Solutions on Gang of Coders

Total of 1 Constraint Programming Solutions

Solving "Who owns the Zebra" programmatically?